Learning to Prove Theorems via Interacting with Proof Assistants

21 May 2019

Papers citing "Learning to Prove Theorems via Interacting with Proof Assistants"

26 / 26 papers shown

Title
Activation Steering in Neural Theorem Provers Shashank Kirtania LLMSV 441 0 0 21 Feb 2025
Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques Sangjun Han Taeil Hur Youngmi Hur Kathy Sangkyung Lee Myungyoon Lee Hyojae Lim 411 0 0 20 Feb 2025
One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs Hai-Tao Zheng Jiayi Kuang Haojing Huang Zhikun Xu Xinnian Liang ... Jue Chen Chao Qu Ying Shen Hai-Tao Zheng Philip S. Yu LRM 108 2 0 12 Feb 2025
Mathematical Language Models: A Survey Wen Liu Hanglei Hu Jie Zhou Yuyang Ding Junsong Li ... Mengliang He Qin Chen Bo Jiang Aimin Zhou Liang He LRM 168 14 0 03 Jan 2025
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 164 4 0 18 Dec 2024
Pantograph: A Machine-to-Machine Interaction Interface for Advanced Theorem Proving, High Level Reasoning, and Data Extraction in Lean 4 Leni Aniva Chuyue Sun Brando Miranda Clark W. Barrett Sanmi Koyejo 74 4 0 21 Oct 2024
AutoVerus: Automated Proof Generation for Rust Code Chenyuan Yang Xuheng Li Md Rakib Hossain Misu Jianan Yao Weidong Cui ... Jacob R. Lorch Shuai Lu Fan Yang Ziqiao Zhou Shan Lu 70 11 0 19 Sep 2024
miniCTX: Neural Theorem Proving with (Long-)Contexts Jiewen Hu Thomas Zhu Sean Welleck AIMat 124 10 0 05 Aug 2024
HOList: An Environment for Machine Learning of Higher-Order Theorem Proving Kshitij Bansal Sarah M. Loos M. Rabe Christian Szegedy S. Wilcox AIMat 61 51 0 05 Apr 2019
GamePad: A Learning Environment for Theorem Proving Daniel Huang Prafulla Dhariwal D. Song Ilya Sutskever 88 110 0 02 Jun 2018
Generative Code Modeling with Graphs Marc Brockschmidt Miltiadis Allamanis Alexander L. Gaunt Oleksandr Polozov 76 178 0 22 May 2018
Reinforcement Learning of Theorem Proving C. Kaliszyk Josef Urban Henryk Michalewski Miroslav Olsák 39 148 0 19 May 2018
code2vec: Learning Distributed Representations of Code Uri Alon Meital Zilberstein Omer Levy Eran Yahav 53 1,174 0 26 Mar 2018
End-to-End Optimization of Task-Oriented Dialogue Model with Deep Reinforcement Learning Bing-Quan Liu Gokhan Tur Dilek Z. Hakkani-Tür Pararth Shah Larry Heck OffRL 50 58 0 29 Nov 2017
Learning to Represent Programs with Graphs Miltiadis Allamanis Marc Brockschmidt Mahmoud Khademi GNN NAI 123 802 0 01 Nov 2017
Premise Selection for Theorem Proving by Deep Graph Embedding Mingzhe Wang Yihe Tang Jian Wang Jia Deng 61 133 0 28 Sep 2017
End-to-End Differentiable Proving Tim Rocktaschel Sebastian Riedel NAI 99 381 0 31 May 2017
Deep Network Guided Proof Search Sarah M. Loos G. Irving Christian Szegedy C. Kaliszyk AIMat 74 159 0 24 Jan 2017
Neuro-Symbolic Program Synthesis Emilio Parisotto Abdel-rahman Mohamed Rishabh Singh Lihong Li Dengyong Zhou Pushmeet Kohli NAI 108 322 0 06 Nov 2016
Learning Continuous Semantic Representations of Symbolic Expressions Miltiadis Allamanis Pankajan Chanthirasegaran Pushmeet Kohli Charles Sutton CLL NAI 90 99 0 04 Nov 2016
DeepMath - Deep Sequence Models for Premise Selection Alexander A. Alemi François Chollet N. Eén G. Irving Christian Szegedy Josef Urban LRM AIMat 57 229 0 14 Jun 2016
Learning End-to-End Goal-Oriented Dialog Antoine Bordes Y-Lan Boureau Jason Weston 78 782 0 24 May 2016
A Convolutional Attention Network for Extreme Summarization of Source Code Miltiadis Allamanis Hao Peng Charles Sutton AI4TS 86 583 0 09 Feb 2016
Improved Semantic Representations From Tree-Structured Long Short-Term Memory Networks Kai Sheng Tai R. Socher Christopher D. Manning AIMat 135 3,119 0 28 Feb 2015
Learning Phrase Representations using RNN Encoder-Decoder for Statistical Machine Translation Kyunghyun Cho B. V. Merrienboer Çağlar Gülçehre Dzmitry Bahdanau Fethi Bougares Holger Schwenk Yoshua Bengio AIMat 1.0K 23,344 0 03 Jun 2014
Learning-Assisted Automated Reasoning with Flyspeck C. Kaliszyk Josef Urban LRM 83 162 0 29 Nov 2012