Title
ProofBridge: Auto-Formalization of Natural Language Proofs in Lean via Joint Embeddings Prithwish Jana Kaan Kale Ahmet Ege Tanriverdi Cruise Song S. Vishwanath Vijay Ganesh AIMat 120 0 0 17 Oct 2025
ProofFlow: A Dependency Graph Approach to Faithful Proof Autoformalization Rafael Cabral Tuan Manh Do Xuejun Yu Wai Ming Tai Zijin Feng Xin Shen 84 0 0 13 Oct 2025
DRIFT: Decompose, Retrieve, Illustrate, then Formalize Theorems Meiru Zhang Philipp Borchert Milan Gritta Gerasimos Lampouras AIMat 319 0 0 12 Oct 2025
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph Hanyu Wang Ruohan Xie Yutong Wang Guoxiong Gao Xintao Yu B. Dong 73 1 0 06 Oct 2025
ASSESS: A Semantic and Structural Evaluation Framework for Statement Similarity Xiaoyang Liu Tao Zhu Zineng Dong Yuntian Liu Qingfeng Guo Zhaoxuan Liu Yu Chen Tao Luo 44 0 0 26 Sep 2025