| The isabelle ENIGMA ZA Goertzel, J Jakubův, C Kaliszyk, M Olšák, J Piepenbrock, J Urban arXiv preprint arXiv:2205.01981, 2022 | 14 | 2022 |
| Towards learning quantifier instantiation in SMT M Janota, J Piepenbrock, B Piotrowski 25th International Conference on Theory and Applications of Satisfiability …, 2022 | 7 | 2022 |
| Guiding an instantiation prover with graph neural networks K Chvalovský, K Korovin, J Piepenbrock, J Urban Proceedings of 24th International Conference on Logic for Programming …, 2023 | 6 | 2023 |
| 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 | 6 | 2022 |
| 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 |
| 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 | 3 | 2024 |
| Learning equational theorem proving J Piepenbrock, T Heskes, M Janota, J Urban arXiv preprint arXiv:2102.05547, 2021 | 3 | 2021 |
| 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 | 2 | 2022 |
| First Experiments with Neural cvc5 J Piepenbrock, M Janota, J Urban, J Jakubuv | 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 |
| Graph Neural Networks for Mapping Variables Between Programs P Orvalho, J Piepenbrock, M Janota, V Manquinho ECAI 2023, 1811-1818, 2023 | | 2023 |
| Selecting Quantifiers for Instantiation in SMT J Jakubův, M Janota, B Piotrowski, J Piepenbrock, A Reynolds | | 2023 |
| 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
