Learning to Reason in Large Theories without Imitation

Learning to Reason in Large Theories without Imitation

25 May 2019

Christian Szegedy

Papers citing "Learning to Reason in Large Theories without Imitation"

11 / 11 papers shown

Title
Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Kyle Thompson Nuno Saavedra Pedro Carrott Kevin Fisher Alex Sanchez-Stern Yuriy Brun J. Ferreira Sorin Lerner E. First LRM 100 1 0 18 Dec 2024
TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models Jing Xiong Jianhao Shen Ye Yuan Haiming Wang Yichun Yin ... Yinya Huang Chuanyang Zheng Xiaodan Liang Ming Zhang Qun Liu AIMat LRM 24 15 0 16 Oct 2023
Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs Albert Q. Jiang Sean Welleck Jin Peng Zhou Wenda Li Jiacheng Liu M. Jamnik Timothée Lacroix Yuhuai Wu Guillaume Lample AIMat 73 158 0 21 Oct 2022
Adversarial Learning to Reason in an Arbitrary Logic Stanislaw J. Purgal C. Kaliszyk 27 1 0 06 Apr 2022
Gym-saturation: an OpenAI Gym environment for saturation provers Boris Shminke AIMat LRM 23 3 0 09 Mar 2022
Formal Mathematics Statement Curriculum Learning Stanislas Polu Jesse Michael Han Kunhao Zheng Mantas Baksys Igor Babuschkin Ilya Sutskever AIMat 89 116 0 03 Feb 2022
MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics Kunhao Zheng Jesse Michael Han Stanislas Polu AIMat 32 151 0 31 Aug 2021
TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement Learning Minchao Wu Michael Norrish Christian J. Walder Amir Dezfouli 12 40 0 19 Feb 2021
Proof Artifact Co-training for Theorem Proving with Language Models Jesse Michael Han Jason M. Rute Yuhuai Wu Edward W. Ayers Stanislas Polu AIMat 25 120 0 11 Feb 2021
Mathematical Reasoning in Latent Space Dennis Lee Christian Szegedy M. Rabe Sarah M. Loos Kshitij Bansal 27 33 0 26 Sep 2019
Towards Finding Longer Proofs Zsolt Zombori Adrián Csiszárik Henryk Michalewski C. Kaliszyk Josef Urban OffRL LRM 29 15 0 30 May 2019