Bartosz Piotrowski

According to our database1, Bartosz Piotrowski authored at least 6 papers between 2018 and 2020.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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
ATPboost: Learning Premise Selection in Binary Setting with ATP Feedback.
Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018


  Loading...