Back to paper
Paper scorecard
May 21, 2026
cs.AI
Full reasoning

Share this scorecard

Every score comes with the model's reasoning on the paper page.

Download image
Suggested post

"Advancing Mathematics Research with AI-Driven Formal Proof Search" scored 9.0/10 predicted impact on @kurateorg — Significance 9.0 · Novelty 8.5 · Clarity 8.5