Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2002.07019
Cited By
v1
v2 (latest)
Learning to Prove Theorems by Learning to Generate Theorems
Neural Information Processing Systems (NeurIPS), 2020
17 February 2020
Mingzhe Wang
Gaowen Liu
NAI
Re-assign community
ArXiv (abs)
PDF
HTML
Github (32★)
Papers citing
"Learning to Prove Theorems by Learning to Generate Theorems"
39 / 39 papers shown
Solving Formal Math Problems by Decomposition and Iterative Reflection
Yichi Zhou
Jianqiu Zhao
Yongxin Zhang
Bohan Wang
Siran Wang
...
Rong Ye
Phan Nhat Hoang
Huishuai Zhang
Peng Sun
Hang Li
178
22
0
21 Jul 2025
Local Look-Ahead Guidance via Verifier-in-the-Loop for Automated Theorem Proving
Annual Meeting of the Association for Computational Linguistics (ACL), 2025
Sara Rajaee
Kumar Pratik
Gabriele Cesa
Arash Behboodi
OffRL
LRM
427
2
0
12 Mar 2025
Building A Proof-Oriented Programmer That Is 64% Better Than GPT-4o Under Data Scarcity
Annual Meeting of the Association for Computational Linguistics (ACL), 2025
Dylan Zhang
Justin Wang
Tianran Sun
383
3
0
17 Feb 2025
Pantograph: A Machine-to-Machine Interaction Interface for Advanced Theorem Proving, High Level Reasoning, and Data Extraction in Lean 4
International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS), 2024
Leni Aniva
Chuyue Sun
Alycia Lee
Clark W. Barrett
Sanmi Koyejo
331
10
0
21 Oct 2024
Alchemy: Amplifying Theorem-Proving Capability through Symbolic Mutation
International Conference on Learning Representations (ICLR), 2024
Shaonan Wu
Shuai Lu
Yeyun Gong
Nan Duan
Ping Wei
AIMat
344
1
0
21 Oct 2024
3D-Prover: Diversity Driven Theorem Proving With Determinantal Point Processes
Sean Lamont
Christian J. Walder
Amir Dezfouli
Paul Montague
Michael Norrish
328
2
0
14 Oct 2024
LeanAgent: Lifelong Learning for Formal Theorem Proving
International Conference on Learning Representations (ICLR), 2024
Adarsh Kumarappan
Mo Tiwari
Peiyang Song
Robert Joseph George
Chaowei Xiao
Anima Anandkumar
CLL
LLMAG
LRM
664
15
0
08 Oct 2024
Consistent Autoformalization for Constructing Mathematical Libraries
Conference on Empirical Methods in Natural Language Processing (EMNLP), 2024
Lan Zhang
Xin Quan
André Freitas
AI4CE
238
14
0
05 Oct 2024
Can Transformers Do Enumerative Geometry?
International Conference on Learning Representations (ICLR), 2024
Baran Hashemi
Roderic G. Corominas
Alessandro Giacchetto
975
10
0
27 Aug 2024
Learning Formal Mathematics From Intrinsic Motivation
Gabriel Poesia
David Broman
Nick Haber
Noah D. Goodman
LRM
388
34
0
30 Jun 2024
DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data
Huajian Xin
Daya Guo
Zhihong Shao
Zhaochun Ren
Qihao Zhu
Bo Liu
Chong Ruan
Wenda Li
Xiaodan Liang
SyDa
330
176
0
23 May 2024
ATG: Benchmarking Automated Theorem Generation for Generative Language Models
Xiaohan Lin
Qingxing Cao
Yinya Huang
Zhicheng YANG
Zhengying Liu
Zhenguo Li
Xiaodan Liang
311
10
0
05 May 2024
Lean Copilot: Large Language Models as Copilots for Theorem Proving in Lean
Peiyang Song
Kaiyu Yang
A. Anandkumar
425
10
0
18 Apr 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
320
53
0
15 Apr 2024
Learn from Failure: Fine-Tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic Proving
Annual Meeting of the Association for Computational Linguistics (ACL), 2024
Chenyang An
Zhibo Chen
Qihao Ye
Emily First
Letian Peng
Jiayun Zhang
Zihan Wang
Sorin Lerner
Jingbo Shang
LRM
396
12
0
10 Apr 2024
GANsemble for Small and Imbalanced Data Sets: A Baseline for Synthetic Microplastics Data
Daniel Platnick
Sourena Khanzadeh
Alireza Sadeghian
Richard Valenzano
247
1
0
10 Apr 2024
REFACTOR: Learning to Extract Theorems from Proofs
Jin Peng Zhou
Yuhuai Wu
Qiyang Li
Roger C. Grosse
AIMat
197
9
0
26 Feb 2024
MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data
Yinya Huang
Xiaohan Lin
Zhengying Liu
Qingxing Cao
Huajian Xin
Haiming Wang
Zhenguo Li
Linqi Song
Xiaodan Liang
ALM
414
47
0
14 Feb 2024
EvoGPT-f: An Evolutionary GPT Framework for Benchmarking Formal Math Languages
Johnathan Mercer
174
0
0
12 Feb 2024
CodeIt: Self-Improving Language Models with Prioritized Hindsight Replay
Natasha Butt
Blazej Manczak
Auke Wiggers
Corrado Rainone
David W. Zhang
Michaël Defferrard
Taco S. Cohen
ReLM
LRM
236
28
0
07 Feb 2024
Enhancing Neural Theorem Proving through Data Augmentation and Dynamic Sampling Method
Rahul Vishwakarma
Subhankar Mishra
AIMat
315
2
0
20 Dec 2023
LEGO-Prover: Neural Theorem Proving with Growing Libraries
International Conference on Learning Representations (ICLR), 2023
Haiming Wang
Huajian Xin
Chuanyang Zheng
Lin Li
Zhengying Liu
...
Enze Xie
Jian Yin
Zhenguo Li
Heng Liao
Xiaodan Liang
LRM
427
115
0
01 Oct 2023
Forward-Backward Reasoning in Large Language Models for Mathematical Verification
Annual Meeting of the Association for Computational Linguistics (ACL), 2023
Weisen Jiang
Han Shi
L. Yu
Zheng Liu
Yu Zhang
Zhenguo Li
James T. Kwok
LRM
551
48
0
15 Aug 2023
LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
Neural Information Processing Systems (NeurIPS), 2023
Kaiyu Yang
Aidan M. Swope
Alex Gu
Rahul Chalamala
Peiyang Song
Shixing Yu
Saad Godil
R. Prenger
Anima Anandkumar
RALM
451
380
0
27 Jun 2023
Teaching Probabilistic Logical Reasoning to Transformers
Findings (Findings), 2023
Aliakbar Nafar
Kristen Brent Venable
Parisa Kordjamshidi
ReLM
LRM
322
8
0
22 May 2023
Abstract Visual Reasoning: An Algebraic Approach for Solving Raven's Progressive Matrices
Computer Vision and Pattern Recognition (CVPR), 2023
Aoxiang Fan
Tushar Vaidya
Y. Blankenship
Saket Chandra
Zhangsheng Lai
Kai Fong Ernest Chong
403
12
0
21 Mar 2023
Can neural networks do arithmetic? A survey on the elementary numerical skills of state-of-the-art deep learning models
Applied Sciences (Appl. Sci.), 2023
Alberto Testolin
AIMat
266
29
0
14 Mar 2023
Learning to Prove Trigonometric Identities
Zhouwu Liu
Yujun Li
Zhengying Liu
Lin Li
Zheng Li
155
3
0
14 Jul 2022
A Survey in Mathematical Language Processing
Jordan Meadows
André Freitas
AIMat
271
18
0
30 May 2022
Learning to Find Proofs and Theorems by Learning to Refine Search Strategies: The Case of Loop Invariant Synthesis
Neural Information Processing Systems (NeurIPS), 2022
Jonathan Laurent
André Platzer
299
9
0
27 May 2022
HyperTree Proof Search for Neural Theorem Proving
Neural Information Processing Systems (NeurIPS), 2022
Guillaume Lample
Marie-Anne Lachaux
Thibaut Lavril
Xavier Martinet
Amaury Hayat
Gabriel Ebner
Aurelien Rodriguez
Timothée Lacroix
AIMat
396
200
0
23 May 2022
Explaining Answers with Entailment Trees
Conference on Empirical Methods in Natural Language Processing (EMNLP), 2021
Bhavana Dalvi
Peter Alexander Jansen
Oyvind Tafjord
Zhengnan Xie
Hannah Smith
Leighanna Pipatanangkura
Peter Clark
ReLM
FAtt
LRM
661
217
0
17 Apr 2021
NaturalProofs: Mathematical Theorem Proving in Natural Language
Sean Welleck
Hamish Ivison
Ronan Le Bras
Hannaneh Hajishirzi
Yejin Choi
Kyunghyun Cho
AIMat
314
96
0
24 Mar 2021
Training a First-Order Theorem Prover from Synthetic Data
Vlad Firoiu
Eser Aygun
Ankit Anand
Zafarali Ahmed
Xavier Glorot
Laurent Orseau
Lei Zhang
Doina Precup
Shibl Mourad
NAI
299
16
0
05 Mar 2021
Proof Artifact Co-training for Theorem Proving with Language Models
International Conference on Learning Representations (ICLR), 2021
Jesse Michael Han
Jason M. Rute
Yuhuai Wu
Edward W. Ayers
Stanislas Polu
AIMat
511
144
0
11 Feb 2021
ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Language
Findings (Findings), 2020
Oyvind Tafjord
Bhavana Dalvi
Peter Clark
485
394
0
24 Dec 2020
INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving
Yuhuai Wu
Albert Qiaochu Jiang
Jimmy Ba
Roger C. Grosse
AIMat
288
59
0
06 Jul 2020
Learning to Prove from Synthetic Theorems
Eser Aygun
Zafarali Ahmed
Ankit Anand
Vlad Firoiu
Xavier Glorot
Laurent Orseau
Doina Precup
Shibl Mourad
NAI
242
21
0
19 Jun 2020
IsarStep: a Benchmark for High-level Mathematical Reasoning
Wenda Li
Lei Yu
Yuhuai Wu
Lawrence Charles Paulson
AIMat
LRM
318
10
0
13 Jun 2020
1
Page 1 of 1
