Learning to Reason with HOL4 tactics

2 April 2018

Papers citing "Learning to Reason with HOL4 tactics"

24 / 24 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 220 4 0 18 Dec 2024
MizAR 60 for Mizar 50 Jan Jakubruv Karel Chvalovský Z. Goertzel C. Kaliszyk Mirek Olvsák Bartosz Piotrowski S. Schulz Martin Suda Josef Urban 82 13 0 12 Mar 2023
A Blockchain-Based Approach for Collaborative Formalization of Mathematics and Programs Jin Xing Lim B. Monnot Shaowei Lin Georgios Piliouras 39 4 0 21 Nov 2021
Definitional Quantifiers Realise Semantic Reasoning for Proof by Induction Yutaka Nagashima LRM 67 3 0 19 Oct 2020
Faster Smarter Induction in Isabelle/HOL Yutaka Nagashima 87 7 0 19 Sep 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
Tactic Learning and Proving for the Coq Proof Assistant Lasse Blaauwbroek Josef Urban H. Geuvers 114 24 0 20 Mar 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
Learning to Prove Theorems by Learning to Generate Theorems Mingzhe Wang Jia Deng NAI 132 50 0 17 Feb 2020
Deep Reinforcement Learning for Synthesizing Functions in Higher-Order Logic Thibault Gauthier 42 13 0 25 Oct 2019
Mathematical Reasoning in Latent Space Dennis Lee Christian Szegedy M. Rabe Sarah M. Loos Kshitij Bansal 78 34 0 26 Sep 2019
Learning to Reason in Large Theories without Imitation Kshitij Bansal Christian Szegedy M. Rabe Sarah M. Loos Viktor Toman NAI LRM 107 42 0 25 May 2019
Graph Representations for Higher-Order Logic and Theorem Proving Aditya Sanjay Paliwal Sarah M. Loos M. Rabe Kshitij Bansal Christian Szegedy AI4CE NoLa 204 98 0 24 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
Hammering Mizar by Learning Clause Guidance Jan Jakubuv Josef Urban 63 46 0 02 Apr 2019
Learning Heuristics for Quantified Boolean Formulas through Deep Reinforcement Learning Gil Lederman M. Rabe Edward A. Lee Sanjit A. Seshia 89 38 0 20 Jul 2018
PaMpeR: Proof Method Recommendation System for Isabelle/HOL Yutaka Nagashima Yilun He 70 24 0 19 Jun 2018
GamePad: A Learning Environment for Theorem Proving Daniel Huang Prafulla Dhariwal Basel Alomair Ilya Sutskever 103 111 0 02 Jun 2018
Reinforcement Learning of Theorem Proving C. Kaliszyk Josef Urban Henryk Michalewski Miroslav Olsák 56 148 0 19 May 2018
TacticToe: Learning to Prove with Tactics Thibault Gauthier C. Kaliszyk Josef Urban Ramana Kumar Michael Norrish 78 55 0 02 Apr 2018
ProofWatch: Watchlist Guidance for Large Theories in E Z. Goertzel Jan Jakubuv S. Schulz Josef Urban LRM 85 13 0 12 Feb 2018
ATPboost: Learning Premise Selection in Binary Setting with ATP Feedback Bartosz Piotrowski Josef Urban 68 41 0 09 Feb 2018