Every score comes with the model's reasoning on the paper page.
"CAM-Bench: A Benchmark for Computational and Applied Mathematics in Lean" scored 6.5/10 predicted impact on @kurateorg — Significance 7.0 · Novelty 6.5 · Rigor 6.0