| ENIGMA anonymous: Symbol-independent inference guiding machine (system description) J Jakubův, K Chvalovský, M Olšák, B Piotrowski, M Suda, J Urban Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris …, 2020 | 45 | 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 | 37 | 2018 |
| Stateful premise selection by recurrent neural networks B Piotrowski, J Urban arXiv preprint arXiv:2004.08212, 2020 | 13 | 2020 |
| Can Neural Networks Learn Symbolic Rewriting? B Piotrowski, J Urban, CE Brown, C Kaliszyk arXiv preprint arXiv:1911.04873, 2019 | 13 | 2019 |
| Guiding inferences in connection tableau by recurrent neural networks B Piotrowski, J Urban Intelligent Computer Mathematics: 13th International Conference, CICM 2020 …, 2020 | 7 | 2020 |
| Guiding theorem proving by recurrent neural networks B Piotrowski, J Urban arXiv preprint arXiv:1905.07961, 2019 | 6 | 2019 |
| 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 | 3 | 2023 |
| ProofNet: A Benchmark for Autoformalizing and Formally Proving Undergraduate-Level Mathematics Problems Z Azerbayev, B Piotrowski, J Avigad | 3 | 2022 |
| Online machine learning techniques for coq: A comparison L Zhang, L Blaauwbroek, B Piotrowski, C Kaliszyk, J Urban Intelligent Computer Mathematics: 14th International Conference, CICM 2021 …, 2021 | 3 | 2021 |
| Towards learning quantifier instantiation in SMT M Janota, J Piepenbrock, B Piotrowski 25th International Conference on Theory and Applications of Satisfiability …, 2022 | 2 | 2022 |
| Learning to advise an equational prover CE Brown, B Piotrowski, J Urban Artif. Intell. Theorem Proving, 1-13, 2020 | 2 | 2020 |
| Machine-Learned Premise Selection for Lean B Piotrowski, RF Mir, E Ayers arXiv preprint arXiv:2304.00994, 2023 | | 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 | | 2023 |
| A small survey of mathematical abilities of modern transformer architectures B Piotrowski | | 2022 |
| Learning SMT Enumeration M Janota, J Piepenbrock, B Piotrowski | | 2021 |
| Decision Trees for Tactic Prediction in Coq L Zhang, L Blaauwbroek, B Piotrowski, C Kaliszyk, J Urban Aussois: AITP, 2021 | | 2021 |
| Reinforcement Learning for Saturation-Based Theorem Provers B Piotrowski 1st Doctoral Consortium at the European Conference on Artificial …, 2020 | | 2020 |
| ATP Guidance for Learning Premise Selection B Piotrowski, J Urban AITP 2018, 2018 | | 2018 |
| Fully Automatic Classification of Flow Cytometry Data BP Piotrowski, MB Kursa Foundations of Intelligent Systems: 24th International Symposium, ISMIS 2018 …, 2018 | | 2018 |
| Selecting Quantifiers for Instantiation in SMT M Janota, J Piepenbrock, B Piotrowski | | |
Josef UrbanDistinguished Researcher at Czech Technical University in PragueVerified email at cvut.cz
