( en | de | ru )

 

Disambiguierung von "Gauthier, Thibault"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Aligning concepts across proof assistant libraries.

, und . J. Symb. Comput., (2019)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Yvan Gauthier

Thibault Lambert

Thibault Bernard

Thibault Napoléon

Samuel Thibault

 

Weitere Publikationen von Autoren mit dem selben Namen

Matching Concepts across HOL Libraries., und . CICM, Volume 8543 von Lecture Notes in Computer Science, Seite 267-281. Springer, (2014)Initial Experiments with Statistical Conjecturing over Large Formal Corpora., , und . FM4M/MathUI/ThEdu/DP/WIP@CIKM, Volume 1785 von CEUR Workshop Proceedings, Seite 219-228. CEUR-WS.org, (2016)A Mathematical Benchmark for Inductive Theorem Provers., , , und . LPAR, Volume 94 von EPiC Series in Computing, Seite 224-237. EasyChair, (2023)Learned Provability Likelihood for Tactical Search.. SCSS, Volume 342 von EPTCS, Seite 78-85. (2021)Aligning concepts across proof assistant libraries., und . J. Symb. Comput., (2019)Self-Learned Formula Synthesis in Set Theory., und . CoRR, (2019)Deep Reinforcement Learning for Synthesizing Functions in Higher-Order Logic.. LPAR, Volume 73 von EPiC Series in Computing, Seite 230-248. EasyChair, (2020)Learning Program Synthesis for Integer Sequences from Scratch., und . AAAI, Seite 7670-7677. AAAI Press, (2023)Proofgold: Blockchain for Formal Methods., , , und . FMBC@CAV, Volume 105 von OASIcs, Seite 4:1-4:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Tree Neural Networks in HOL4.. CICM, Volume 12236 von Lecture Notes in Computer Science, Seite 278-283. Springer, (2020)