Author of the publication

Fast and Slow Enigmas and Parental Guidance.

, , , , and . FroCoS, volume 12941 of Lecture Notes in Computer Science, page 173-191. Springer, (2021)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

ProofWatch Meets ENIGMA: First Experiments., , and . LPAR (Workshop and Short Papers), volume 9 of Kalpa Publications in Computing, page 15-22. EasyChair, (2018)Make E Smart Again.. CoRR, (2020)An Evaluation of GPT-4 on the ETHICS Dataset., , and . CoRR, (2023)The Isabelle ENIGMA., , , , , and . ITP, volume 237 of LIPIcs, page 16:1-16:21. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)ProofWatch: Watchlist Guidance for Large Theories in E., , , and . ITP, volume 10895 of Lecture Notes in Computer Science, page 270-288. Springer, (2018)OpenCog Hyperon: A Framework for AGI at the Human Level and Beyond., , , , , , , , , and 4 other author(s). CoRR, (2023)Make E Smart Again (Short Paper).. IJCAR (2), volume 12167 of Lecture Notes in Computer Science, page 408-415. Springer, (2020)MizAR 60 for Mizar 50., , , , , , , , and . ITP, volume 268 of LIPIcs, page 19:1-19:22. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Fast and Slow Enigmas and Parental Guidance., , , , and . FroCoS, volume 12941 of Lecture Notes in Computer Science, page 173-191. Springer, (2021)ENIGMAWatch: ProofWatch Meets ENIGMA., , and . TABLEAUX, volume 11714 of Lecture Notes in Computer Science, page 374-388. Springer, (2019)