@misc{indiciaed1b34b40d1f0,
  title = {Learning Lean Feedback for Efficient Proof-Candidate Evaluation on GPUs},
  author = {Lazar Milikic and Etienne Bamas and Emmanuel Abbe and Viktor Kunčak},
  year = {2026},
  url = {https://arxiv.org/abs/2610.21881},
  note = {Source identifier: 2610.21881}
}