Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2310.07957
Cited By
v1
v2
v3 (latest)
A New Approach Towards Autoformalization
12 October 2023
Nilay Patel
Rahul Saha
Jeffrey Flanigan
AI4CE
AIMat
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"A New Approach Towards Autoformalization"
7 / 7 papers shown
ProofFlow: A Dependency Graph Approach to Faithful Proof Autoformalization
Rafael Cabral
Tuan Manh Do
Xuejun Yu
Wai Ming Tai
Zijin Feng
Xin Shen
120
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
161
3
0
06 Oct 2025
FormaRL: Enhancing Autoformalization with no Labeled Data
Yanxing Huang
Xinling Jin
Sijie Liang
Peng Li
Yang Liu
OffRL
AIMat
AI4CE
250
4
0
26 Aug 2025
LeanTutor: A Formally-Verified AI Tutor for Mathematical Proofs
Manooshree Patel
Rayna Bhattacharyya
Thomas Lu
Arnav Mehta
Niels Voss
Narges Norouzi
Gireeja Ranade
214
1
0
10 Jun 2025
Autoformalization in the Era of Large Language Models: A Survey
Ke Weng
Lun Du
Sirui Li
Wangyue Lu
Haozhe Sun
Hengyu Liu
Tiancheng Zhang
AI4CE
LRM
344
9
0
29 May 2025
Herald: A Natural Language Annotated Lean 4 Dataset
International Conference on Learning Representations (ICLR), 2024
Guoxiong Gao
Yutong Wang
Jiedong Jiang
Qi Gao
Zihan Qin
Tianyi Xu
Bin Dong
405
26
0
09 Oct 2024
A Survey on Deep Learning for Theorem Proving
Zhaoyu Li
Jialiang Sun
Logan Murphy
Qidong Su
Zenan Li
Xian Zhang
Kaiyu Yang
Xujie Si
LRM
289
51
0
15 Apr 2024
1
Page 1 of 1
