Back to paper
Full reasoning
Jul 28, 2026
cs.PL
Share this scorecard
Every score comes with the model's reasoning on the paper page.
Suggested post
"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens" scored 8.0/10 predicted impact on @kurateorg — Novelty 8.5 · Significance 8.0 · Clarity 8.0