Learning to Prove from Synthetic Theorems

19 June 2020

Papers citing "Learning to Prove from Synthetic Theorems"

6 / 6 papers shown

Title
Hierarchical Attention Generates Better Proofs Jianlong Chen Chao Li Yang Yuan Andrew Chi-Chih Yao AIMat LRM 33 0 0 27 Apr 2025
Generating Intermediate Steps for NLI with Next-Step Supervision Deepanway Ghosal Somak Aditya Monojit Choudhury LRM 35 1 0 31 Aug 2022
Open Source Vizier: Distributed Infrastructure and API for Reliable and Flexible Blackbox Optimization Xingyou Song Sagi Perel Chansoo Lee Greg Kochanski Daniel Golovin 31 26 0 27 Jul 2022
TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement Learning Minchao Wu Michael Norrish Christian J. Walder Amir Dezfouli 12 40 0 19 Feb 2021
Interaction Networks for Learning about Objects, Relations and Physics Peter W. Battaglia Razvan Pascanu Matthew Lai Danilo Jimenez Rezende Koray Kavukcuoglu AI4CE OCL PINN GNN 283 1,401 0 01 Dec 2016
MizAR 40 for Mizar 40 C. Kaliszyk Josef Urban VLM AI4CE LRM AIMat 56 133 0 10 Oct 2013