Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2502.05567
Cited By
ATLAS: Autoformalizing Theorems through Lifting, Augmentation, and Synthesis of Data
8 February 2025
Xiaoyang Liu
Kangjie Bao
Jiashuo Zhang
Yunqi Liu
Yu Chen
Yu Chen
Yang Jiao
Tao Luo
AIMat
Re-assign community
ArXiv
PDF
HTML
Papers citing
"ATLAS: Autoformalizing Theorems through Lifting, Augmentation, and Synthesis of Data"
Title
No papers
