关注
Bartosz Piotrowski
Bartosz Piotrowski
IDEAS NCBR
在 post.pl 的电子邮件经过验证
标题
引用次数
引用次数
年份
ENIGMA anonymous: Symbol-independent inference guiding machine (system description)
J Jakubův, K Chvalovský, M Olšák, B Piotrowski, M Suda, J Urban
International Joint Conference on Automated Reasoning, 448-463, 2020
652020
ATPboost: Learning Premise Selection in Binary Setting with ATP Feedback
B Piotrowski, J Urban
Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as …, 2018
502018
Proofnet: Autoformalizing and formally proving undergraduate-level mathematics
Z Azerbayev, B Piotrowski, H Schoelkopf, EW Ayers, D Radev, J Avigad
arXiv preprint arXiv:2302.12433, 2023
43*2023
Can neural networks learn symbolic rewriting?
B Piotrowski, J Urban, CE Brown, C Kaliszyk
arXiv preprint arXiv:1911.04873, 2019
252019
Stateful premise selection by recurrent neural networks
B Piotrowski, J Urban
arXiv preprint arXiv:2004.08212, 2020
222020
Magnushammer: A transformer-based approach to premise selection
M Mikuła, S Antoniak, S Tworkowski, AQ Jiang, JP Zhou, C Szegedy, ...
arXiv preprint arXiv:2303.04488, 2023
192023
Guiding inferences in connection tableau by recurrent neural networks
B Piotrowski, J Urban
International Conference on Intelligent Computer Mathematics, 309-314, 2020
112020
Machine-learned premise selection for Lean
B Piotrowski, RF Mir, E Ayers
International Conference on Automated Reasoning with Analytic Tableaux and …, 2023
92023
MizAR 60 for Mizar 50
J Jakubův, K Chvalovský, Z Goertzel, C Kaliszyk, M Olšák, B Piotrowski, ...
arXiv preprint arXiv:2303.06686, 2023
92023
Towards learning quantifier instantiation in SMT
M Janota, J Piepenbrock, B Piotrowski
25th International Conference on Theory and Applications of Satisfiability …, 2022
82022
Online machine learning techniques for coq: a comparison
L Zhang, L Blaauwbroek, B Piotrowski, C Kaliszyk, J Urban
International Conference on Intelligent Computer Mathematics, 67-83, 2021
82021
Guiding theorem proving by recurrent neural networks
B Piotrowski, J Urban
arXiv preprint arXiv:1905.07961, 2019
72019
Proof-pile, 2022
Z Azerbayev, E Ayers, B Piotrowski
URL https://github. com/zhangir-azerbayev/proof-pile, 2022
62022
Learning to advise an equational prover
CE Brown, B Piotrowski, J Urban
Artif. Intell. Theorem Proving, 1-13, 2020
32020
Repurposing Language Models into Embedding Models: Finding the Compute-Optimal Recipe
A Ziarko, AQ Jiang, B Piotrowski, W Li, M Jamnik, P Miłoś
arXiv preprint arXiv:2406.04165, 2024
2024
Towards Learning Infinite SMT Models (Work in Progress)
M Janota, B Piotrowski, K Chvalovský
2023 25th International Symposium on Symbolic and Numeric Algorithms for …, 2023
2023
Synergy of Machine Learning and Automated Reasoning
BP Piotrowski
Sl: sn, 2023
2023
Selecting Quantifiers for Instantiation in SMT
J Jakubův, M Janota, B Piotrowski, J Piepenbrock, A Reynolds
2023
A small survey of mathematical abilities of modern transformer architectures
B Piotrowski
2022
Learning SMT Enumeration
M Janota, J Piepenbrock, B Piotrowski
2021
系统目前无法执行此操作,请稍后再试。
文章 1–20