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

Note on Deduction Theorems in contraction-free logics., and . Math. Log. Q., 58 (3): 236-243 (2012)ENIGMA-NG: Efficient Neural and Gradient-Boosted Inference Guidance for E., , , and . CADE, volume 11716 of Lecture Notes in Computer Science, page 197-215. Springer, (2019)Learning Theorem Proving Components., , , and . TABLEAUX, volume 12842 of Lecture Notes in Computer Science, page 266-278. Springer, (2021)Regularization in Spider-Style Strategy Discovery and Schedule Construction., , and . CoRR, (2024)Undecidability of Consequence Relation in Full non-Associative Lambek Calculus.. J. Symb. Log., 80 (2): 567-586 (2015)On the independence of axioms in BL and MTL.. Fuzzy Sets Syst., (2012)Top-Down Neural Model For Formulae.. ICLR (Poster), OpenReview.net, (2019)Full Lambek Calculus with Contraction is Undecidable., and . J. Symb. Log., 81 (2): 524-540 (2016)Guiding an Instantiation Prover with Graph Neural Networks., , , and . LPAR, volume 94 of EPiC Series in Computing, page 112-123. EasyChair, (2023)MizAR 60 for Mizar 50., , , , , , , , and . ITP, volume 268 of LIPIcs, page 19:1-19:22. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)