TY  - RPRT
TI  - Not All Proofs Are Equal: Evaluating LLM Proof Quality Beyond Correctness
AU  - Ivo Petrov
AU  - Jasper Dekoninck
AU  - Dimitar I. Dimitrov
AU  - Martin Vechev
PY  - 2026
UR  - https://arxiv.org/abs/2605.10379
ID  - 2605.10379
ER  -