Bartosz Piotrowski

Affiliations:
  • University of Warsaw, Warsaw, Poland
  • Czech Institute of Informatics, Robotics and Cybernetics, Prague, Czech Republic


According to our database1, Bartosz Piotrowski authored at least 13 papers between 2018 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics.
CoRR, 2023

Machine-Learned Premise Selection for Lean.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023

Selecting Quantifiers for Instantiation in SMT.
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.
Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023

2022
Towards Learning Quantifier Instantiation in SMT.
Proceedings of the 25th International Conference on Theory and Applications of Satisfiability Testing, 2022

2021
Online Machine Learning Techniques for Coq: A Comparison.
Proceedings of the Intelligent Computer Mathematics - 14th International Conference, 2021

2020
Guiding Inferences in Connection Tableau by Recurrent Neural Networks.
Proceedings of the Intelligent Computer Mathematics - 13th International Conference, 2020

Stateful Premise Selection by Recurrent Neural Networks.
Proceedings of the LPAR 2020: 23rd International Conference on Logic for Programming, 2020

ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (System Description).
Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

2019
Can Neural Networks Learn Symbolic Rewriting?
CoRR, 2019

Guiding Theorem Proving by Recurrent Neural Networks.
CoRR, 2019

2018
Fully Automatic Classification of Flow Cytometry Data.
Proceedings of the Foundations of Intelligent Systems - 24th International Symposium, 2018

ATPboost: Learning Premise Selection in Binary Setting with ATP Feedback.
Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018


  Loading...