The isabelle ENIGMA ZA Goertzel, J Jakubův, C Kaliszyk, M Olšák, J Piepenbrock, J Urban arXiv preprint arXiv:2205.01981, 2022 | 16 | 2022 |
Guiding an Instantiation Prover with Graph Neural Networks. K Chvalovský, K Korovin, J Piepenbrock, J Urban LPAR, 112-123, 2023 | 9 | 2023 |
Towards learning quantifier instantiation in SMT M Janota, J Piepenbrock, B Piotrowski 25th International Conference on Theory and Applications of Satisfiability …, 2022 | 8 | 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 | 6 | 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 | 4 | 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 |
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 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 |
Graph Neural Networks for Mapping Variables Between Programs P Orvalho, J Piepenbrock, M Janota, V Manquinho ECAI 2023, 1811-1818, 2023 | 1 | 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 |
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, 0 | | |
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 | | |