| The isabelle ENIGMA ZA Goertzel, J Jakubův, C Kaliszyk, M Olšák, J Piepenbrock, J Urban arXiv preprint arXiv:2205.01981, 2022 | 20 | 2022 |
| Guiding an Instantiation Prover with Graph Neural Networks. K Chvalovský, K Korovin, J Piepenbrock, J Urban LPAR, 112-123, 2023 | 15 | 2023 |
| Towards learning quantifier instantiation in SMT M Janota, J Piepenbrock, B Piotrowski 25th International Conference on Theory and Applications of Satisfiability …, 2022 | 12 | 2022 |
| Graph2tac: Learning hierarchical representations of math concepts in theorem proving J Rute, M Olšák, L Blaauwbroek, FIS Massolo, J Piepenbrock, V Pestun | 9 | 2024 |
| Graph neural networks for mapping variables between programs P Orvalho, J Piepenbrock, M Janota, V Manquinho ECAI 2023, 1811-1818, 2023 | 7 | 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 | 7 | 2022 |
| 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 | 5 | 2024 |
| Graph2tac: Online representation learning of formal math concepts, 2024 L Blaauwbroek, M Olšák, J Rute, FIS Massolo, J Piepenbrock, V Pestun URL https://arxiv. org/abs/2401.02949, 0 | 5 | |
| 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 |
| Selecting quantifiers for instantiation in smt J Jakubův, M Janota, B Piotrowski, J Piepenbrock, A Reynolds | 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 | 2 | 2024 |
| Machine Learning for Quantifier Selection in cvc5 J Jakubův, M Janota, J Piepenbrock, J Urban arXiv preprint arXiv:2408.14338, 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 |
| 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 128, 102375, 2025 | | 2025 |
| 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 |
| Integrating graph neural networks into cvc5 J Piepenbrock, M Janota, J Urban, J Jakubuv | | |
| Project Proposal: SMT Instantiations Via GNNs J Piepenbrock, M Janota, J Jakubuv, B Piotrowski | | |
Mikoláš JanotaCTU PragueVahvistettu sähköpostiosoite verkkotunnuksessa cvut.cz
