List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Stateful premise selection by recurrent neural networks | 2025-02-20 | Paper |
| 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) Automated Reasoning | 2022-11-09 | Paper |
| Online machine learning techniques for Coq: a comparison (available as arXiv preprint) | 2022-04-22 | Paper |
| Guiding inferences in connection tableau by recurrent neural networks (available as arXiv preprint) | 2021-01-20 | Paper |
| ATPboost: learning premise selection in binary setting with ATP feedback (available as arXiv preprint) | 2018-10-18 | Paper |
Research outcomes over time
This page was built for person: Bartosz Piotrowski
