Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
1509.03527
Cited By
Sharing HOL4 and HOL Light proof knowledge
11 September 2015
Thibault Gauthier
C. Kaliszyk
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Sharing HOL4 and HOL Light proof knowledge"
5 / 5 papers shown
Title
REFACTOR: Learning to Extract Theorems from Proofs
Jin Peng Zhou
Yuhuai Wu
Qiyang Li
Roger C. Grosse
AIMat
85
8
0
26 Feb 2024
JEFL: Joint Embedding of Formal Proof Libraries
Qingxiang Wang
C. Kaliszyk
53
0
0
21 Jul 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
117
127
0
11 Feb 2021
ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (system description)
Jan Jakubuv
Karel Chvalovský
Miroslav Olsák
Bartosz Piotrowski
Martin Suda
Josef Urban
65
44
0
13 Feb 2020
Property Invariant Embedding for Automated Reasoning
Miroslav Olsák
C. Kaliszyk
Josef Urban
NAI
69
41
0
27 Nov 2019
1