Follow
Bartosz Piotrowski
Bartosz Piotrowski
University of Warsaw, Czech Technical University
Verified email at post.pl
Title
Cited by
Cited by
Year
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
622020
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
442018
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
29*2023
Stateful premise selection by recurrent neural networks
B Piotrowski, J Urban
arXiv preprint arXiv:2004.08212, 2020
192020
Can neural networks learn symbolic rewriting?
B Piotrowski, J Urban, CE Brown, C Kaliszyk
arXiv preprint arXiv:1911.04873, 2019
182019
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
132023
Guiding inferences in connection tableau by recurrent neural networks
B Piotrowski, J Urban
International Conference on Intelligent Computer Mathematics, 309-314, 2020
102020
Machine-learned premise selection for Lean
B Piotrowski, RF Mir, E Ayers
International Conference on Automated Reasoning with Analytic Tableaux and …, 2023
72023
Towards learning quantifier instantiation in SMT
M Janota, J Piepenbrock, B Piotrowski
25th International Conference on Theory and Applications of Satisfiability …, 2022
72022
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
72021
Guiding theorem proving by recurrent neural networks
B Piotrowski, J Urban
arXiv preprint arXiv:1905.07961, 2019
72019
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
2*2023
Learning to advise an equational prover
CE Brown, B Piotrowski, J Urban
Artif. Intell. Theorem Proving, 1-13, 2020
22020
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
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
The system can't perform the operation now. Try again later.
Articles 1–20