Bartosz Piotrowski

25 papers A* 2A 2B 3C 2Misc 1Journal 13Unranked 2

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