Scholar
Bartosz Piotrowski
Google Scholar ID: kbW4DHoAAAAJ
Meta FAIR
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
462
H-index
11
i10-index
13
Publications
20
Co-authors
0
Publications
3 items
ProofOptimizer: Training Language Models to Simplify Proofs without Human Demonstrations
2025
Cited
0
Lightweight Latent Verifiers for Efficient Meta-Generation Strategies
2025
Cited
0
Towards Learning Infinite SMT Models (Work in Progress)
Symposium on Symbolic and Numeric Algorithms for Scientific Computing · 2023
Cited
0
