Bartosz Piotrowski

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 21

Top Topics

Top Venues

Publications

Alicja Ziarko, Albert Q. Jiang, Bartosz Piotrowski, Wenda Li, Mateja Jamnik, Piotr Milos
Repurposing Language Models into Embedding Models: Finding the Compute-Optimal Recipe. CoRR (2024)
Maciej Mikula, Szymon Tworkowski, Szymon Antoniak, Bartosz Piotrowski, Albert Q. Jiang, Jin Peng Zhou, Christian Szegedy, Lukasz Kucinski, Piotr Milos, Yuhuai Wu
Magnushammer: A Transformer-Based Approach to Premise Selection. ICLR (2024)
Jan Jakubuv, Karel Chvalovský, Zarathustra Amadeus Goertzel, Cezary Kaliszyk, Mirek Olsák, Bartosz Piotrowski, Stephan Schulz, Martin Suda, Josef Urban
MizAR 60 for Mizar 50. CoRR (2023)
Jan Jakubuv, Karel Chvalovský, Zarathustra Amadeus Goertzel, Cezary Kaliszyk, Mirek Olsák, Bartosz Piotrowski, Stephan Schulz, Martin Suda, Josef Urban
MizAR 60 for Mizar 50. ITP (2023)
Bartosz Piotrowski, Ramon Fernández Mir, Edward W. Ayers
Machine-Learned Premise Selection for Lean. TABLEAUX (2023)
Mikolás Janota, Bartosz Piotrowski, Karel Chvalovský
Towards Learning Infinite SMT Models (Work in Progress). SYNASC (2023)
Bartosz Piotrowski, Ramon Fernández Mir, Edward W. Ayers
Machine-Learned Premise Selection for Lean. CoRR (2023)
Zhangir Azerbayev, Bartosz Piotrowski, Hailey Schoelkopf, Edward W. Ayers, Dragomir Radev, Jeremy Avigad
ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics. CoRR (2023)
Jan Jakubuv, Mikolás Janota, Bartosz Piotrowski, Jelle Piepenbrock, Andrew Reynolds
Selecting Quantifiers for Instantiation in SMT. SMT (2023)
Mikolás Janota, Jelle Piepenbrock, Bartosz Piotrowski
Towards Learning Quantifier Instantiation in SMT. SAT (2022)
Liao Zhang, Lasse Blaauwbroek, Bartosz Piotrowski, Prokop Cerný, Cezary Kaliszyk, Josef Urban
Online Machine Learning Techniques for Coq: A Comparison. CoRR (2021)
Liao Zhang, Lasse Blaauwbroek, Bartosz Piotrowski, Prokop Cerný, Cezary Kaliszyk, Josef Urban
Online Machine Learning Techniques for Coq: A Comparison. CICM (2021)
Jan Jakubuv, Karel Chvalovský, Miroslav Olsák, Bartosz Piotrowski, Martin Suda, Josef Urban
ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (system description). CoRR (2020)
Jan Jakubuv, Karel Chvalovský, Miroslav Olsák, Bartosz Piotrowski, Martin Suda, Josef Urban
ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (System Description). IJCAR (2) (2020)
Bartosz Piotrowski, Josef Urban
Stateful Premise Selection by Recurrent Neural Networks. LPAR (2020)
Bartosz Piotrowski, Josef Urban
Stateful Premise Selection by Recurrent Neural Networks. CoRR (2020)
Bartosz Piotrowski, Josef Urban
Guiding Inferences in Connection Tableau by Recurrent Neural Networks. CICM (2020)
Bartosz Piotrowski, Josef Urban
Guiding Theorem Proving by Recurrent Neural Networks. CoRR (2019)
Bartosz Piotrowski, Josef Urban, Chad E. Brown, Cezary Kaliszyk
Can Neural Networks Learn Symbolic Rewriting? CoRR (2019)
Bartosz Piotrowski, Josef Urban
ATPboost: Learning Premise Selection in Binary Setting with ATP Feedback. CoRR (2018)
Bartosz Piotrowski, Josef Urban
ATPboost: Learning Premise Selection in Binary Setting with ATP Feedback. IJCAR (2018)