ResearchTrend.AI
ATLAS: Autoformalizing Theorems through Lifting, Augmentation, and Synthesis of Data

ATLAS: Autoformalizing Theorems through Lifting, Augmentation, and Synthesis of Data

Xiaoyang Liu
Kangjie Bao
Jiashuo Zhang
Yunqi Liu
Yu Chen
Yuntian Liu
Yang Jiao
Tao Luo
ArXivPDFHTML

Papers citing "ATLAS: Autoformalizing Theorems through Lifting, Augmentation, and Synthesis of Data"

Title
No papers