Piotrowski, Bartosz

1. Exploiting Generative AI to Scale up Intelligent Tutoring Systems
   2023/01/01 by Jakubův, Jan, Chvalovský, Karel, Goertzel, Zarathustra +6 · 221 citations
   Computer Science · #Multimodal Machine Learning Applications #Natural Language Processing Techniques #Topic Modeling
2. ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics
   2023/02/24 by Zhangir Azerbayev, Azerbayev, Zhangir, Bartosz Piotrowski +9 · 35 citations
   Computer Science · Mathematics · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Mathematics, Computing, and Information Processing #Statistics Education and Methodologies
3. Magnushammer: A Transformer-Based Approach to Premise Selection
   2023/03/08 by Maciej Mikuła, Mikuła, Maciej, Szymon Tworkowski +16 · 7 citations
   Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Neural Networks and Applications
4. Can Neural Networks Learn Symbolic Rewriting?
   2019/11/07 by Piotrowski, Bartosz, Urban, Josef, Brown, Chad E. +1 · 1 citation
   #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG)
5. Stateful Premise Selection by Recurrent Neural Networks
   2020/03/11 by Piotrowski, Bartosz, Urban, Josef · 1 citation
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Machine Learning (stat.ML)
6. Repurposing Language Models into Embedding Models: Finding the Compute-Optimal Recipe
   2024/06/06 by Ziarko, Alicja, Jiang, Albert Q., Piotrowski, Bartosz +3 · 1 citation
   #FOS: Computer and information sciences #Machine Learning (cs.LG)