Bartosz Piotrowski
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
7
Active years
2018–2024
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ICLR | 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 |
| 2023 | ITP | MizAR 60 for Mizar 50. | Jan Jakubuv, Karel Chvalovsk, Zarathustra Amadeus Goertzel, Cezary Kaliszyk, Mirek Olsk, Bartosz Piotrowski, Stephan Schulz, Martin Suda, Josef Urban |
| 2023 | SYNASC | Towards Learning Infinite SMT Models (Work in Progress). | Mikols Janota, Bartosz Piotrowski, Karel Chvalovsk |
| 2023 | TABLEAUX | Machine-Learned Premise Selection for Lean. | Bartosz Piotrowski, Ramon Fernndez Mir, Edward W. Ayers |
| 2022 | SAT | Towards Learning Quantifier Instantiation in SMT. | Mikols Janota, Jelle Piepenbrock, Bartosz Piotrowski |
| 2020 | CADE | ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (System Description). | Jan Jakubuv, Karel Chvalovsk, Miroslav Olsk, Bartosz Piotrowski, Martin Suda, Josef Urban |
| 2020 | LPAR | Stateful Premise Selection by Recurrent Neural Networks. | Bartosz Piotrowski, Josef Urban |
| 2018 | CADE | ATPboost: Learning Premise Selection in Binary Setting with ATP Feedback. | Bartosz Piotrowski, Josef Urban |