| Publication | Date of Publication | Type |
|---|
| Topology is relevant (in a dichotomy conjecture for infinite-domain constraint satisfaction problems) | 2024-12-19 | Paper |
Invariant neural architecture for learning term synthesis in instantiation proving
Journal of Symbolic Computation | 2024-12-09 | Paper |
| The Isabelle ENIGMA | 2024-07-15 | Paper |
Alien coding
International Journal of Approximate Reasoning | 2023-11-16 | Paper |
ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (System Description)
Automated Reasoning | 2022-11-09 | Paper |
GeoLogic – Graphical Interactive Theorem Prover for Euclidean Geometry
Lecture Notes in Computer Science | 2022-10-13 | Paper |
scientific article; zbMATH DE number 7561550 (Why is no real title available?)
(available as arXiv preprint) | 2022-07-21 | Paper |
| The role of entropy in guiding a connection prover | 2022-05-25 | Paper |
The role of entropy in guiding a connection prover
(available as arXiv preprint) | 2022-05-25 | Paper |
Learning theorem proving components
(available as arXiv preprint) | 2022-05-25 | Paper |
Learning to solve geometric construction problems from images
(available as arXiv preprint) | 2022-04-22 | Paper |
Fast and slow enigmas and parental guidance
(available as arXiv preprint) | 2022-03-24 | Paper |
Maltsev conditions for general congruence meet-semidistributive algebras
Journal of Symbolic Logic | 2022-01-17 | Paper |
Maltsev conditions for general congruence meet-semidistributive algebras
Journal of Symbolic Logic | 2022-01-17 | Paper |
Maximal non-compactness of Sobolev embeddings
The Journal of Geometric Analysis | 2021-08-31 | Paper |
Property invariant embedding for automated reasoning
(available as arXiv preprint) | 2021-07-06 | Paper |
| The equivalence of two dichotomy conjectures for infinite domain constraint satisfaction problems | 2021-01-19 | Paper |
\( \omega \)-categorical structures avoiding height 1 identities
Transactions of the American Mathematical Society | 2020-12-18 | Paper |
Loop conditions for strongly connected digraphs
International Journal of Algebra and Computation | 2020-04-16 | Paper |
The local loop lemma
Algebra Universalis | 2020-02-25 | Paper |
Loop conditions
Algebra Universalis | 2019-12-27 | Paper |
Equations in oligomorphic clones and the constraint satisfaction problem for \(\omega \)-categorical structures
Journal of Mathematical Logic | 2019-11-29 | Paper |
| Topology is relevant (in a dichotomy conjecture for infinite-domain constraint satisfaction problems) | 2019-01-14 | Paper |
| Loop conditions with strongly connected graphs | 2018-10-07 | Paper |
The weakest nontrivial idempotent equations
Bulletin of the London Mathematical Society | 2018-01-16 | Paper |
Loop conditions
(available as arXiv preprint) | 2017-01-01 | Paper |
