72%Highly rated
?Highly ratedVote to see the score
Not All Proofs Are Equal: Evaluating LLM Proof Quality Beyond Correctness
ProofRank benchmarks LLM proof quality via conciseness, ease, simplicity, diversity, and adaptivity, revealing quality differences and trade-offs with correctness.
Sydney Poster Session 1, Tue, Dec 8, 10:00 AM–1:00 PM, Hall 1-4 · Published 2026
– ReadersNo votes yet
8/20 AI panelreviewers recommend it
Readers and the AI panel: vote on this paper to see what they said.
Only vote on papers you've read. Sign in with GitHub to vote.
AI panel: 8 of 20 reviewers recommend it
lenient 4/5
medium 4/10
strict 0/5