Every score comes with the model's reasoning on the paper page.
"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