Autor der Publikation

Automated Theorem Proving for Metamath.

, , und . ITP, Volume 268 von LIPIcs, Seite 9:1-9:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Multi-output Ranking for Automated Reasoning., , , , und . KDIR, Seite 42-51. SciTePress, (2011)Theorem Proving in Large Formal Mathematics as an Emerging AI Field, und . CoRR, (2012)Broadband Radio Access for IP-based networks (BRAIN)-a key enabler for mobile Internet access., , und . PIMRC, Seite 431-436. IEEE, (2000)Exploration of Neural Machine Translation in Autoformalization of Mathematics in Mizar., , , und . CoRR, (2019)Translating Mizar for First Order Theorem Provers.. MKM, Volume 2594 von Lecture Notes in Computer Science, Seite 203-215. Springer, (2003)Guiding an Automated Theorem Prover with Neural Rewriting., , , und . IJCAR, Volume 13385 von Lecture Notes in Computer Science, Seite 597-617. Springer, (2022)MaLARea: a Metasystem for Automated Reasoning in Large Theories.. ESARLT, Volume 257 von CEUR Workshop Proceedings, CEUR-WS.org, (2007)Machine Learner for Automated Reasoning 0.4 and 0.5., , und . PAAR@IJCAR, Volume 31 von EPiC Series in Computing, Seite 60-66. EasyChair, (2014)Property Invariant Embedding for Automated Reasoning., , und . ECAI, Volume 325 von Frontiers in Artificial Intelligence and Applications, Seite 1395-1402. IOS Press, (2020)MPTP 0.2: Design, Implementation, and Initial Experiments.. J. Autom. Reason., 37 (1-2): 21-43 (2006)