
Every score comes with the model's reasoning on the paper page.
"A Counterexample to EFX; $n \ge 3$ Agents, $m \ge n + 5$ Items, Monotone Valuations; via SAT-Solving" scored 9.0/10 predicted impact on @kurateorg — Significance 9.5 · Rigor 9.5 · Novelty 9.0