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"

8 / 8 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 137 14 0 03 Jan 2025
Google's Neural Machine Translation System: Bridging the Gap between Human and Machine Translation Yonghui Wu M. Schuster Zhiwen Chen Quoc V. Le Mohammad Norouzi ... Alex Rudnick Oriol Vinyals G. Corrado Macduff Hughes J. Dean AIMat 815 6,768 0 26 Sep 2016
DeepMath - Deep Sequence Models for Premise Selection Alexander A. Alemi François Chollet N. Eén G. Irving Christian Szegedy Josef Urban LRM AIMat 41 229 0 14 Jun 2016
Internal Guidance for Satallax Michael Färber C. Brown LRM 30 26 0 30 May 2016
Learning-assisted Theorem Proving with Millions of Lemmas C. Kaliszyk Josef Urban 57 47 0 11 Feb 2014
MaLeS: A Framework for Automatic Tuning of Automated Theorem Provers D. Kühlwein Josef Urban 64 22 0 09 Aug 2013
Learning-Assisted Automated Reasoning with Flyspeck C. Kaliszyk Josef Urban LRM 66 162 0 29 Nov 2012
Premise Selection for Mathematics by Corpus Analysis and Kernel Methods Jesse Alama Tom Heskes D. Kühlwein Evgeni Tsivtsivadze Josef Urban LRM 70 146 0 17 Aug 2011