HOList: An Environment for Machine Learning of Higher-Order Theorem
Proving

HOList: An Environment for Machine Learning of Higher-Order Theorem Proving

5 April 2019

Christian Szegedy

Papers citing "HOList: An Environment for Machine Learning of Higher-Order Theorem Proving"

13 / 13 papers shown

Title
Feynman on Artificial Intelligence and Machine Learning, with Updates E. Mjolsness AI4CE 11 0 0 31 Aug 2022
Measuring Mathematical Problem Solving With the MATH Dataset Dan Hendrycks Collin Burns Saurav Kadavath Akul Arora Steven Basart Eric Tang D. Song Jacob Steinhardt ReLM FaML 84 1,840 0 05 Mar 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
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
An overview of 11 proposals for building safe advanced AI Evan Hubinger AAML 22 23 0 04 Dec 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 101 36 0 15 Nov 2019
Mathematical Reasoning in Latent Space Dennis Lee Christian Szegedy M. Rabe Sarah M. Loos Kshitij Bansal 27 33 0 26 Sep 2019
Learning dynamic polynomial proofs Alhussein Fawzi Mateusz Malinowski Hamza Fawzi Omar Fawzi 19 17 0 04 Jun 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
Learning to Reason in Large Theories without Imitation Kshitij Bansal Christian Szegedy M. Rabe Sarah M. Loos Viktor Toman NAI LRM 9 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 28 97 0 24 May 2019
Learning Heuristics for Quantified Boolean Formulas through Deep Reinforcement Learning Gil Lederman M. Rabe Edward A. Lee S. Seshia 13 38 0 20 Jul 2018
MizAR 40 for Mizar 40 C. Kaliszyk Josef Urban VLM AI4CE LRM AIMat 56 132 0 10 Oct 2013