Deep Network Guided Proof Search

24 January 2017

Papers citing "Deep Network Guided Proof Search"

24 / 24 papers shown

Title
Hierarchical Attention Generates Better Proofs Jianlong Chen Chao Li Yang Yuan Andrew Chi-Chih Yao AIMat LRM 31 0 0 27 Apr 2025
Efficient Neural Clause-Selection Reinforcement Martin Suda 39 0 0 10 Mar 2025
Can Transformers Do Enumerative Geometry? Baran Hashemi Roderic G. Corominas Alessandro Giacchetto 34 2 0 27 Aug 2024
The Proof is in the Pudding: Using Automated Theorem Proving to Generate Cooking Recipes Louis Mahon Carl Vogel 14 0 0 05 Mar 2022
Formal Mathematics Statement Curriculum Learning Stanislas Polu Jesse Michael Han Kunhao Zheng Mantas Baksys Igor Babuschkin Ilya Sutskever AIMat 73 115 0 03 Feb 2022
Generating Symbolic Reasoning Problems with Transformer GANs Jens U. Kreber Christopher Hahn AI4CE 22 6 0 19 Oct 2021
Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning Pan Lu Ran Gong Shibiao Jiang Liang Qiu Siyuan Huang Xiaodan Liang Song-Chun Zhu AIMat LRM 15 207 0 10 May 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 21 13 0 05 Mar 2021
TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement Learning Minchao Wu Michael Norrish Christian J. Walder Amir Dezfouli 10 40 0 19 Feb 2021
IsarStep: a Benchmark for High-level Mathematical Reasoning Wenda Li Lei Yu Yuhuai Wu Lawrence Charles Paulson AIMat LRM 8 10 0 13 Jun 2020
Tactic Learning and Proving for the Coq Proof Assistant Lasse Blaauwbroek Josef Urban H. Geuvers 44 23 0 20 Mar 2020
Improving Graph Neural Network Representations of Logical Formulae with Subgraph Pooling M. Crouse Ibrahim Abdelaziz Cristina Cornelio Veronika Thost Lingfei Wu Kenneth D. Forbus Achille Fokoue NAI AI4CE GNN 93 36 0 15 Nov 2019
Mathematical Reasoning in Latent Space Dennis Lee Christian Szegedy M. Rabe Sarah M. Loos Kshitij Bansal 9 33 0 26 Sep 2019
Towards Finding Longer Proofs Zsolt Zombori Adrián Csiszárik Henryk Michalewski C. Kaliszyk Josef Urban OffRL LRM 19 15 0 30 May 2019
HOList: An Environment for Machine Learning of Higher-Order Theorem Proving Kshitij Bansal Sarah M. Loos M. Rabe Christian Szegedy S. Wilcox AIMat 13 51 0 05 Apr 2019
ENIGMA-NG: Efficient Neural and Gradient-Boosted Inference Guidance for E Karel Chvalovský Jan Jakubuv Martin Suda Josef Urban 6 64 0 07 Mar 2019
Learning Heuristics for Quantified Boolean Formulas through Deep Reinforcement Learning Gil Lederman M. Rabe Edward A. Lee S. Seshia 11 38 0 20 Jul 2018
$ML + FV = $\heartsuit$? A Survey on the Application of Machine Learning to Formal Verification$ ML + FV = $\heartsuit$ ? A Survey on the Application of Machine Learning to Formal Verification Moussa Amrani L. Lucio Adrien Bibal 18 5 0 10 Jun 2018
GamePad: A Learning Environment for Theorem Proving Daniel Huang Prafulla Dhariwal D. Song Ilya Sutskever 13 109 0 02 Jun 2018
Deep Reinforcement Learning: An Overview Yuxi Li OffRL VLM 83 1,502 0 25 Jan 2017
Learning Continuous Semantic Representations of Symbolic Expressions Miltiadis Allamanis Pankajan Chanthirasegaran Pushmeet Kohli Charles Sutton CLL NAI 24 99 0 04 Nov 2016
Convolutional Neural Networks for Sentence Classification Yoon Kim AILaw VLM 250 13,360 0 25 Aug 2014
MizAR 40 for Mizar 40 C. Kaliszyk Josef Urban VLM AI4CE LRM AIMat 54 132 0 10 Oct 2013
Improving neural networks by preventing co-adaptation of feature detectors Geoffrey E. Hinton Nitish Srivastava A. Krizhevsky Ilya Sutskever Ruslan Salakhutdinov VLM 248 7,633 0 03 Jul 2012