ENIGMA anonymous: Symbol-independent inference guiding machine (system description) J Jakubův, K Chvalovský, M Olšák, B Piotrowski, M Suda, J Urban International Joint Conference on Automated Reasoning, 448-463, 2020 | 65 | 2020 |
ATPboost: Learning Premise Selection in Binary Setting with ATP Feedback B Piotrowski, J Urban Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as …, 2018 | 50 | 2018 |
Proofnet: Autoformalizing and formally proving undergraduate-level mathematics Z Azerbayev, B Piotrowski, H Schoelkopf, EW Ayers, D Radev, J Avigad arXiv preprint arXiv:2302.12433, 2023 | 43* | 2023 |
Can neural networks learn symbolic rewriting? B Piotrowski, J Urban, CE Brown, C Kaliszyk arXiv preprint arXiv:1911.04873, 2019 | 25 | 2019 |
Stateful premise selection by recurrent neural networks B Piotrowski, J Urban arXiv preprint arXiv:2004.08212, 2020 | 22 | 2020 |
Magnushammer: A transformer-based approach to premise selection M Mikuła, S Antoniak, S Tworkowski, AQ Jiang, JP Zhou, C Szegedy, ... arXiv preprint arXiv:2303.04488, 2023 | 19 | 2023 |
Guiding inferences in connection tableau by recurrent neural networks B Piotrowski, J Urban International Conference on Intelligent Computer Mathematics, 309-314, 2020 | 11 | 2020 |
Machine-learned premise selection for Lean B Piotrowski, RF Mir, E Ayers International Conference on Automated Reasoning with Analytic Tableaux and …, 2023 | 9 | 2023 |
MizAR 60 for Mizar 50 J Jakubův, K Chvalovský, Z Goertzel, C Kaliszyk, M Olšák, B Piotrowski, ... arXiv preprint arXiv:2303.06686, 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 |
Online machine learning techniques for coq: a comparison L Zhang, L Blaauwbroek, B Piotrowski, C Kaliszyk, J Urban International Conference on Intelligent Computer Mathematics, 67-83, 2021 | 8 | 2021 |
Guiding theorem proving by recurrent neural networks B Piotrowski, J Urban arXiv preprint arXiv:1905.07961, 2019 | 7 | 2019 |
Proof-pile, 2022 Z Azerbayev, E Ayers, B Piotrowski URL https://github. com/zhangir-azerbayev/proof-pile, 2022 | 6 | 2022 |
Learning to advise an equational prover CE Brown, B Piotrowski, J Urban Artif. Intell. Theorem Proving, 1-13, 2020 | 3 | 2020 |
Repurposing Language Models into Embedding Models: Finding the Compute-Optimal Recipe A Ziarko, AQ Jiang, B Piotrowski, W Li, M Jamnik, P Miłoś arXiv preprint arXiv:2406.04165, 2024 | | 2024 |
Towards Learning Infinite SMT Models (Work in Progress) M Janota, B Piotrowski, K Chvalovský 2023 25th International Symposium on Symbolic and Numeric Algorithms for …, 2023 | | 2023 |
Synergy of Machine Learning and Automated Reasoning BP Piotrowski Sl: sn, 2023 | | 2023 |
Selecting Quantifiers for Instantiation in SMT J Jakubův, M Janota, B Piotrowski, J Piepenbrock, A Reynolds | | 2023 |
A small survey of mathematical abilities of modern transformer architectures B Piotrowski | | 2022 |
Learning SMT Enumeration M Janota, J Piepenbrock, B Piotrowski | | 2021 |