Author of the publication

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

Graph Neural Networks For Mapping Variables Between Programs - Extended Version., , , 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)Graph2Tac: Learning Hierarchical Representations of Math Concepts in Theorem proving., , , , , and . CoRR, (2024)Machine Learning Meets The Herbrand Universe., , , , , and . CoRR, (2022)Guiding an Automated Theorem Prover with Neural Rewriting., , , and . IJCAR, volume 13385 of Lecture Notes in Computer Science, page 597-617. Springer, (2022)Graph Neural Networks for Mapping Variables Between Programs., , , and . ECAI, volume 372 of Frontiers in Artificial Intelligence and Applications, page 1811-1818. IOS Press, (2023)Guiding an Instantiation Prover with Graph Neural Networks., , , and . LPAR, volume 94 of EPiC Series in Computing, page 112-123. EasyChair, (2023)Towards Learning Quantifier Instantiation in SMT., , and . SAT, volume 236 of LIPIcs, page 7:1-7:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Learning Equational Theorem Proving., , , and . CoRR, (2021)Selecting Quantifiers for Instantiation in SMT., , , , and . SMT, volume 3429 of CEUR Workshop Proceedings, page 71-77. CEUR-WS.org, (2023)