Scholar

Bartosz Piotrowski

Google Scholar ID: kbW4DHoAAAAJ

Meta FAIR

Google Scholar↗

Citations & Impact

All-time

Citations

462

H-index

11

i10-index

13

Publications

20

Co-authors

0

Contact

No contact links provided.

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

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)