Anon Anon

Anon539823983's activity

• All
• Models
• Datasets
• Spaces
• Buckets
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

updated a collection 13 days ago

ProofRank: Evaluating LLM Proof Quality Beyond Correctness

Collection

ICLR 2027 submission artifacts. ProofRank scores proof quality beyond correctness: conciseness, computation, cognition, diversity, adaptivity. • 3 items • Updated 13 days ago

updated 3 datasets 13 days ago

Anon539823983/ProofRank-outputs

Updated 13 days ago • 328

Anon539823983/ProofRank

Viewer • Updated 13 days ago • 827 • 56

Anon539823983/ProofRank-Examples

Updated 13 days ago • 49

published 3 datasets 13 days ago

Anon539823983/ProofRank-outputs

Updated 13 days ago • 328

Anon539823983/ProofRank-Examples

Updated 13 days ago • 49

Anon539823983/ProofRank

Viewer • Updated 13 days ago • 827 • 56