HolStep: A Machine Learning Dataset for Higher-order Logic Theorem Proving

1 March 2017

Papers citing "HolStep: A Machine Learning Dataset for Higher-order Logic Theorem Proving"

30 / 30 papers shown

Title
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 235 14 0 03 Jan 2025
Learning Structure-Aware Representations of Dependent Types Konstantinos Kogkalidis Orestis Melkonian Jean-Philippe Bernardy NAI 70 3 0 03 Feb 2024
The Tactician's Web of Large-Scale Formal Knowledge Lasse Blaauwbroek 48 4 0 05 Jan 2024
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 150 247 0 27 Jun 2023
A Survey of Deep Learning for Mathematical Reasoning Pan Lu Liang Qiu Wenhao Yu Sean Welleck Kai-Wei Chang ReLM LRM 133 150 0 20 Dec 2022
Genetic Algorithm for Program Synthesis Yutaka Nagashima 74 1 0 22 Nov 2022
Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers Albert Q. Jiang Wenda Li Szymon Tworkowski K. Czechowski Tomasz Odrzygó'zd'z Piotr Milo's Yuhuai Wu M. Jamnik AIMat LRM 89 103 0 22 May 2022
Generating Symbolic Reasoning Problems with Transformer GANs Jens U. Kreber Christopher Hahn AI4CE 115 6 0 19 Oct 2021
Learning Heuristics for Template-based CEGIS of Loop Invariants with Reinforcement Learning Minchao Wu Takeshi Tsukada Hiroshi Unno Taro Sekiyama Kohei Suenaga 80 0 0 16 Jul 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 117 127 0 11 Feb 2021
Faster Smarter Induction in Isabelle/HOL Yutaka Nagashima 87 7 0 19 Sep 2020
Verification of ML Systems via Reparameterization Jean-Baptiste Tristan Joseph Tassarotti Koundinya Vajjha Michael L. Wick A. Banerjee AAML 34 6 0 14 Jul 2020
INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving Yuhuai Wu Albert Qiaochu Jiang Jimmy Ba Roger C. Grosse AIMat 105 55 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 70 20 0 19 Jun 2020
IsarStep: a Benchmark for High-level Mathematical Reasoning Wenda Li Lei Yu Yuhuai Wu Lawrence Charles Paulson AIMat LRM 77 10 0 13 Jun 2020
Simple Dataset for Proof Method Recommendation in Isabelle/HOL (Dataset Description) Yutaka Nagashima 34 4 0 21 Apr 2020
Teaching Temporal Logics to Neural Networks Christopher Hahn Frederik Schmitt Jens U. Kreber M. Rabe Bernd Finkbeiner NAI 109 67 0 06 Mar 2020
From Shallow to Deep Interactions Between Knowledge Representation, Reasoning and Machine Learning (Kay R. Amel group) Zied Bouraoui Antoine Cornuéjols Thierry Denoeux Sebastien Destercke Didier Dubois ... Jérôme Mengin H. Prade Steven Schockaert M. Serrurier Christel Vrain 128 14 0 13 Dec 2019
Property Invariant Embedding for Automated Reasoning Miroslav Olsák C. Kaliszyk Josef Urban NAI 61 41 0 27 Nov 2019
Improving Graph Neural Network Representations of Logical Formulae with Subgraph Pooling Mayank Agarwal Ibrahim Abdelaziz Cristina Cornelio Veronika Thost Lingfei Wu Kenneth D. Forbus Achille Fokoue NAI AI4CE GNN 174 36 0 15 Nov 2019
Towards Finding Longer Proofs Zsolt Zombori Adrián Csiszárik Henryk Michalewski C. Kaliszyk Josef Urban OffRL LRM 83 16 0 30 May 2019
On Learning to Prove Daniel Huang 57 3 0 24 Apr 2019
HOList: An Environment for Machine Learning of Higher-Order Theorem Proving Kshitij Bansal Sarah M. Loos M. Rabe Christian Szegedy S. Wilcox AIMat 90 51 0 05 Apr 2019
Guiding High-Performance SAT Solvers with Unsat-Core Predictions Daniel Selsam Nikolaj S. Bjørner NAI 107 122 0 12 Mar 2019
Automated Theorem Proving in Intuitionistic Propositional Logic by Deep Reinforcement Learning M. Kusumoto Keisuke Yahata Masahiro Sakai AIMat LRM 61 11 0 02 Nov 2018
Premise selection with neural networks and distributed representation of features Andrzej S. Kucik Konstantin Korovin 55 10 0 26 Jul 2018
GamePad: A Learning Environment for Theorem Proving Daniel Huang Prafulla Dhariwal Basel Alomair Ilya Sutskever 103 111 0 02 Jun 2018
Automated proof synthesis for propositional logic with deep neural networks Taro Sekiyama Kohei Suenaga NAI 49 10 0 30 May 2018
Premise Selection for Theorem Proving by Deep Graph Embedding Mingzhe Wang Yihe Tang Jian Wang Jia Deng 102 133 0 28 Sep 2017
End-to-End Differentiable Proving Tim Rocktaschel Sebastian Riedel NAI 124 382 0 31 May 2017