Training a First-Order Theorem Prover from Synthetic Data

5 March 2021

Lei Zhang

Papers citing "Training a First-Order Theorem Prover from Synthetic Data"

3 / 3 papers shown

Title
Adversarial Learning to Reason in an Arbitrary Logic Stanislaw J. Purgal C. Kaliszyk 10 1 0 06 Apr 2022
TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement Learning Minchao Wu Michael Norrish Christian J. Walder Amir Dezfouli 8 40 0 19 Feb 2021
Scaling Laws for Neural Language Models Jared Kaplan Sam McCandlish T. Henighan Tom B. Brown B. Chess R. Child Scott Gray Alec Radford Jeff Wu Dario Amodei 226 4,424 0 23 Jan 2020