TY  - RPRT
TI  - Learning Lean Feedback for Efficient Proof-Candidate Evaluation on GPUs
AU  - Lazar Milikic
AU  - Etienne Bamas
AU  - Emmanuel Abbe
AU  - Viktor Kunčak
PY  - 2026
UR  - https://arxiv.org/abs/2610.21881
ID  - 2610.21881
ER  -