🧑🔬 Tao Luo — papers of 2025 — 1 paper, the most cited first1 paper · all years of Tao LuoATLAS: Autoformalizing Theorems through Lifting, Augmentation, and Synthesis of DataConference on Neural Information Processing Systems (NeurIPS)Xiaoyang Liu, Kangjie Bao, Jiashuo Zhang, et al.2025 · 16 citationsThis page in Markdown → https://md.research.elamur.ai/free/en/authors/tao-luo/year/2025/