@misc{indiciae0d32a35aca18,
  title = {Not All Proofs Are Equal: Evaluating LLM Proof Quality Beyond Correctness},
  author = {Ivo Petrov and Jasper Dekoninck and Dimitar I. Dimitrov and Martin Vechev},
  year = {2026},
  url = {https://arxiv.org/abs/2605.10379},
  note = {Source identifier: 2605.10379}
}