Minima Spellcheck
Correct grammar, spelling, and punctuation in your text
Correct grammar, spelling, and punctuation in your text
Run Maple-Preview privately in your browser with WebGPU
Multimodal reasoning VLM with Grug-style thinking
Five claims verified by paper arithmetic; the released
Paper-native arithmetic, source audit, and figure
Five claims verified and one claim falsified from the
Fresh executable audit of LatentMAS claims
Independent numerical reproduction of Adalina
Independent six-claim coreset audit
Arithmetic and source-pinned checks for six registered
Four claims verified; one falsified
Exact factorization-bound and source-table audit
Exact GRPO objectives, derivatives, and bimodal optimum
Fresh six-claim ICML 2026 reproduction
Native PluRel scaling and generator reproduction
Full 2,000-layout, eight-task FloorplanQA v4 claim audit
LM-CC mechanism and model generalization audit.
Browse and collaborate on experiment logbooks with an AI agent
Explore a reproducible research on tree‑structured ILR
Explore and collaborate on research logbooks
Scaled exact ADMM, polyhedral and locomotion audit
Explore experiment logs and sync findings with a coding agent
Explore a research logbook and connect with an AI agent
Independent SlideSparse throughput and theorem audit