( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Premise Selection and External Provers for HOL4.

, и . CPP, стр. 49-57. ACM, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Yvan Gauthier

Thibault Lambert

Thibault Bernard

Thibault Napoléon

Samuel Thibault

 

Другие публикации лиц с тем же именем

Learning Guided Automated Reasoning: A Brief Survey., , , , , , и . CoRR, (2024)TacticToe: Learning to Reason with HOL4 Tactics., , и . LPAR, том 46 из EPiC Series in Computing, стр. 125-143. EasyChair, (2017)Sharing HOL4 and HOL Light Proof Knowledge., и . LPAR, том 9450 из Lecture Notes in Computer Science, стр. 372-386. Springer, (2015)Premise Selection and External Provers for HOL4., и . CPP, стр. 49-57. ACM, (2015)Learned Provability Likelihood for Tactical Search.. SCSS, том 342 из EPTCS, стр. 78-85. (2021)A Mathematical Benchmark for Inductive Theorem Provers., , , и . LPAR, том 94 из EPiC Series in Computing, стр. 224-237. EasyChair, (2023)Initial Experiments with Statistical Conjecturing over Large Formal Corpora., , и . FM4M/MathUI/ThEdu/DP/WIP@CIKM, том 1785 из CEUR Workshop Proceedings, стр. 219-228. CEUR-WS.org, (2016)Matching Concepts across HOL Libraries., и . CICM, том 8543 из Lecture Notes in Computer Science, стр. 267-281. Springer, (2014)Self-Learned Formula Synthesis in Set Theory., и . CoRR, (2019)Learning to Prove with Tactics., , , , и . CoRR, (2018)