Title
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
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
Automated Formalization via Conceptual Retrieval-Augmented LLMs Wangyue Lu Lun Du Sirui Li Ke Weng Haozhe Sun Hengyu Liu Minghe Yu Tiancheng Zhang Ge Yu 104 3 0 09 Aug 2025
StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning Fusion Yutong Wu Di Huang Ruosi Wan Yue Peng Shijie Shang ... Lei Qi Rui Zhang Zidong Du Jie Yan Xing Hu ReLM OffRL LRM 115 6 0 06 Aug 2025