{"id":"2605.10379","title":"Not All Proofs Are Equal: Evaluating LLM Proof Quality Beyond Correctness","url":"https://codeofpaper.com/paper/2605.10379","arxiv_url":"https://arxiv.org/abs/2605.10379","published":"2026-05-11","code":"none","best":null,"most_starred_community":null,"implementations":[],"possible_matches":0}