Bartosz Piotrowski

According to our database, Bartosz Piotrowski authored at least 16 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Repurposing Language Models into Embedding Models: Finding the Compute-Optimal Recipe.

Alicja Ziarko, Albert Q. Jiang, Bartosz Piotrowski, Wenda Li, Mateja Jamnik, Piotr Milos

CoRR, 2024

Magnushammer: A Transformer-Based Approach to Premise Selection.

Maciej Mikula, Szymon Tworkowski, Szymon Antoniak, Bartosz Piotrowski, Albert Q. Jiang, Jin Peng Zhou, Christian Szegedy, Lukasz Kucinski, Piotr Milos, Yuhuai Wu

Proceedings of the Twelfth International Conference on Learning Representations, 2024

2023

ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics.

Zhangir Azerbayev, Bartosz Piotrowski, Hailey Schoelkopf, Edward W. Ayers, Dragomir Radev, Jeremy Avigad

CoRR, 2023

Machine-Learned Premise Selection for Lean.

Bartosz Piotrowski, Ramon Fernández Mir, Edward W. Ayers

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023

Towards Learning Infinite SMT Models (Work in Progress).

Mikolás Janota, Bartosz Piotrowski, Karel Chvalovský

Proceedings of the 25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2023

Selecting Quantifiers for Instantiation in SMT.

Jan Jakubuv, Mikolás Janota, Bartosz Piotrowski, Jelle Piepenbrock, Andrew Reynolds

Proceedings of the 21st International Workshop on Satisfiability Modulo Theories (SMT 2023) co-located with the 29th International Conference on Automated Deduction (CADE 2023), 2023

MizAR 60 for Mizar 50.

Jan Jakubuv, Karel Chvalovský, Zarathustra Amadeus Goertzel, Cezary Kaliszyk, Mirek Olsák, Bartosz Piotrowski, Stephan Schulz, Martin Suda, Josef Urban

Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023

2022

Towards Learning Quantifier Instantiation in SMT.

Mikolás Janota, Jelle Piepenbrock, Bartosz Piotrowski

Proceedings of the 25th International Conference on Theory and Applications of Satisfiability Testing, 2022

2021

Online Machine Learning Techniques for Coq: A Comparison.

Liao Zhang, Lasse Blaauwbroek, Bartosz Piotrowski, Prokop Cerný, Cezary Kaliszyk, Josef Urban

Proceedings of the Intelligent Computer Mathematics - 14th International Conference, 2021

2020

Guiding Inferences in Connection Tableau by Recurrent Neural Networks.

Bartosz Piotrowski, Josef Urban

Proceedings of the Intelligent Computer Mathematics - 13th International Conference, 2020

Stateful Premise Selection by Recurrent Neural Networks.

Bartosz Piotrowski, Josef Urban

Proceedings of the LPAR 2020: 23rd International Conference on Logic for Programming, 2020

ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (System Description).

Jan Jakubuv, Karel Chvalovský, Miroslav Olsák, Bartosz Piotrowski, Martin Suda, Josef Urban

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

2019

Can Neural Networks Learn Symbolic Rewriting?

Bartosz Piotrowski, Josef Urban, Chad E. Brown, Cezary Kaliszyk

CoRR, 2019

Guiding Theorem Proving by Recurrent Neural Networks.

Bartosz Piotrowski, Josef Urban

CoRR, 2019

2018

Fully Automatic Classification of Flow Cytometry Data.

Bartosz Pawel Piotrowski, Miron Bartosz Kursa

Proceedings of the Foundations of Intelligent Systems - 24th International Symposium, 2018

ATPboost: Learning Premise Selection in Binary Setting with ATP Feedback.

Bartosz Piotrowski, Josef Urban

Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018