Back to paper
Full reasoning
Sep 15, 2026
cs.PL · cs.LO
Share this scorecard
Every score comes with the model's reasoning on the paper page.
Suggested post
"Behavioral Analysis of Timed Actors using Syntactic Slice Equivalence" scored 4.5/10 predicted impact on @kurateorg — Reproducible 7.0 · Difficulty 6.5 · Rigor 6.0