Bartosz Piotrowski

Available identifiers

zbMath Open piotrowski.bartoszMaRDI QIDQ1799116

List of research outcomes

Publication	Date of Publication	Type
Mizar 60 for Mizar 50	2024-11-26	Paper
Towards learning quantifier instantiation in SMT	2024-07-12	Paper
Machine-learned premise selection for Lean	2024-05-17	Paper
ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (System Description)	2022-11-09	Paper
Online machine learning techniques for Coq: a comparison	2022-04-22	Paper
Guiding inferences in connection tableau by recurrent neural networks	2021-01-20	Paper
ATPboost: learning premise selection in binary setting with ATP feedback	2018-10-18	Paper

Research outcomes over time

This page was built for person: Bartosz Piotrowski