Towards Autoformalization of Mathematics and Code Correctness:
Experiments with Elementary Proofs

Towards Autoformalization of Mathematics and Code Correctness: Experiments with Elementary Proofs

5 January 2023

Garett Cunningham

Razvan C. Bunescu

Papers citing "Towards Autoformalization of Mathematics and Code Correctness: Experiments with Elementary Proofs"

11 / 11 papers shown

Title
Formalizing Complex Mathematical Statements with LLMs: A Study on Mathematical Definitions Lan Zhang Marco Valentino André Freitas 41 0 0 17 Feb 2025
ATLAS: Autoformalizing Theorems through Lifting, Augmentation, and Synthesis of Data Xiaoyang Liu Kangjie Bao Jiashuo Zhang Yunqi Liu Yu Chen Yuntian Liu Yang Jiao Tao Luo AIMat 50 0 0 08 Feb 2025
Consistent Autoformalization for Constructing Mathematical Libraries Lan Zhang Xin Quan André Freitas AI4CE 30 2 0 05 Oct 2024
Autoformalizing Euclidean Geometry Logan Murphy Kaiyu Yang Jialiang Sun Zhaoyu Li A. Anandkumar Xujie Si 26 3 0 27 May 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 42 21 0 15 Apr 2024
Adapting Large Language Models for Education: Foundational Capabilities, Potentials, and Challenges Qingyao Li Lingyue Fu Weiming Zhang Xianyu Chen Jingwei Yu Wei Xia Weinan Zhang Ruiming Tang Yong Yu AI4Ed ELM 25 17 0 27 Dec 2023
FormalGeo: An Extensible Formalized Framework for Olympiad Geometric Problem Solving Xiaokai Zhang Na Zhu Yiming He Jia Zou Qike Huang ... Cheng Qin Zhen Zeng Shaorong Xie Xiangfeng Luo Tuo Leng AIMat AI4CE 11 3 0 27 Oct 2023
LeanDojo: Theorem Proving with Retrieval-Augmented Language Models Kaiyu Yang Aidan M. Swope Alex Gu Rahul Chalamala Peiyang Song Shixing Yu Saad Godil R. Prenger Anima Anandkumar RALM 7 205 0 27 Jun 2023
Baldur: Whole-Proof Generation and Repair with Large Language Models E. First M. Rabe Talia Ringer Yuriy Brun 53 90 0 08 Mar 2023
Safety without alignment András Kornai M. Bukatin Zsolt Zombori LLMSV 11 0 0 27 Feb 2023
Autoformalization with Large Language Models Yuhuai Wu Albert Q. Jiang Wenda Li M. Rabe Charles Staats M. Jamnik Christian Szegedy AI4CE 108 156 0 25 May 2022