| The isabelle ENIGMA ZA Goertzel, J Jakubův, C Kaliszyk, M Olšák, J Piepenbrock, J Urban arXiv preprint arXiv:2205.01981, 2022 | 18 | 2022 |
| Guiding an Instantiation Prover with Graph Neural Networks. K Chvalovský, K Korovin, J Piepenbrock, J Urban LPAR, 112-123, 2023 | 10 | 2023 |
| Towards learning quantifier instantiation in SMT M Janota, J Piepenbrock, B Piotrowski 25th International Conference on Theory and Applications of Satisfiability …, 2022 | 10 | 2022 |
| Machine learning meets the Herbrand universe J Piepenbrock, J Urban, K Korovin, M Olšák, T Heskes, M Janota arXiv preprint arXiv:2210.03590, 2022 | 7 | 2022 |
| Graph2Tac: learning hierarchical representations of math concepts in theorem proving J Rute, M Olšák, L Blaauwbroek, FIS Massolo, J Piepenbrock, V Pestun arXiv preprint arXiv:2401.02949, 2024 | 5 | 2024 |
| Guiding an automated theorem prover with neural rewriting J Piepenbrock, T Heskes, M Janota, J Urban International Joint Conference on Automated Reasoning, 597-617, 2022 | 4 | 2022 |
| Graph Neural Networks for Mapping Variables Between Programs P Orvalho, J Piepenbrock, M Janota, V Manquinho ECAI 2023, 1811-1818, 2023 | 3 | 2023 |
| Project Proposal: Learning Variable Mappings to Repair Programs P Orvalho, J Piepenbrock, M Janota, V Manquinho 7th Conference on Artificial Intelligence and Theorem Proving, AITP, 2022 | 3 | 2022 |
| Learning equational theorem proving J Piepenbrock, T Heskes, M Janota, J Urban arXiv preprint arXiv:2102.05547, 2021 | 3 | 2021 |
| First Experiments with Neural cvc5 J Piepenbrock, M Janota, J Urban, J Jakubuv Proceedings of 25th Conference on Logic for Programming, Artificial …, 2024 | 1 | 2024 |
| Graph Neural Networks For Mapping Variables Between Programs--Extended Version P Orvalho, J Piepenbrock, M Janota, V Manquinho arXiv preprint arXiv:2307.13014, 2023 | 1 | 2023 |
| Selecting Quantifiers for Instantiation in SMT J Jakubův, M Janota, B Piotrowski, J Piepenbrock, A Reynolds | 1 | 2023 |
| Invariant Neural Architecture for Learning Term Synthesis in Instantiation Proving J Piepenbrock, J Urban, K Korovin, M Olšák, T Heskes, M Janota Journal of Symbolic Computation, 102375, 2024 | | 2024 |
| Machine Learning for Quantifier Selection in cvc5 J Jakubův, M Janota, J Piepenbrock, J Urban arXiv preprint arXiv:2408.14338, 2024 | | 2024 |
| Graph2Tac: Online Representation Learning of Formal Math Concepts L Blaauwbroek, M Olšák, J Rute, FIS Massolo, J Piepenbrock, V Pestun Forty-first International Conference on Machine Learning, 2024 | | 2024 |
| Learning Instantiation in First-Order Logic JH Piepenbrock, J Urban, K Korovin, M Olsak, TM Heskes, M Janota | | 2022 |
| Learning SMT Enumeration M Janota, J Piepenbrock, B Piotrowski | | 2021 |
| Project Proposal: SMT Instantiations Via GNNs J Piepenbrock, M Janota, J Jakubuv, B Piotrowski | | |
| Selecting Quantifiers for Instantiation in SMT M Janota, J Piepenbrock, B Piotrowski | | |
Mikoláš JanotaCTU PragueVerified email at cvut.cz
