ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 1509.03527
  4. Cited By
Sharing HOL4 and HOL Light proof knowledge

Sharing HOL4 and HOL Light proof knowledge

11 September 2015
Thibault Gauthier
C. Kaliszyk
ArXiv (abs)PDFHTML

Papers citing "Sharing HOL4 and HOL Light proof knowledge"

5 / 5 papers shown
Title
REFACTOR: Learning to Extract Theorems from Proofs
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
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
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)
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
Property Invariant Embedding for Automated Reasoning
Miroslav Olsák
C. Kaliszyk
Josef Urban
NAI
69
41
0
27 Nov 2019
1