Check your paper

Recalculate numerical results, execute code, verify references, write it up as review comments.

2 free reviews a week

Use an add-on review

This week’s allowance is used up. You have 0 add-on reviews; this review will use one.

0 will remain. We check again before submitting and use the weekly allowance first if it has refreshed.

Trust in science begins with verification.

01 · How it works

How a paper is reviewed

A structured review in the OpenReview style: a summary of the paper's claims, strengths and weaknesses with their locations, questions for the authors, concrete suggestions, and scores for soundness, presentation, contribution, and overall — plus the reviewer's confidence.

  • Key claims picked out, each verified by a small script that actually runs
  • Tables recomputed, formulas re-derived, p-values recalculated, public code rerun
  • Every result links to its script — anyone can rerun it
checkpaper.app · annotated paper · Adam

arXiv:1412.6980 · Kingma & Ba

2.1 Adam's update rule

An important property of Adam's update rule is its careful choice of stepsizes. Assuming ε = 0, the effective step taken in parameter space at timestep t is Δt = α · m̂t / √v̂t. The effective stepsize has two upper bounds: |Δt| ≤ α · (1 − β1) / √(1 − β2)1 in the case (1 − β1) > √(1 − β2), and |Δt| ≤ α otherwise.

3 Initialization bias correction

Taking expectations of the exponential moving average vt relates it to the true second moment:

𝔼[vt] = 𝔼[gt2] · (1 − β2t) + ζ2(4)

4 Convergence analysis

Theorem 4.1. Assume that the function ft has bounded gradients and the distance between any θt generated by Adam is bounded. Let γ = β12/√β2 < 1. Then Adam achieves R(T)/T → 03 for all T ≥ 1.

02 · Coverage

What gets checked

  • Derivations

    Symbolic algebra and high-precision numerics on the paper’s formulas.

  • Numbers and tables

    Sums, ratios and percentages recomputed from what the paper reports.

  • Statistics

    p-values from test statistics, confidence intervals, GRIM tests on reported means.

  • Code

    Your repository cloned and run with small settings, outputs compared to the paper.

  • References

    Every entry looked up on Crossref and arXiv; load-bearing citations read.

  • Claims against evidence

    Checks that each main claim matches the result cited for it.

03 · A sample review

Findings marked where they occur

Each claim is listed with status, location in the paper, and the verification script. From the Adam review — same format as the live product.

  • Red ✕ for discrepancy, green ✓ for confirmed
  • Section and page for every claim
  • Blue links to the exact .py used
Open the full Adam review
checkpaper.app · findings · Adam
  • ✕Theorem 4.1: regret R(T)/T → 0Sec. 4, p.4 · counterexample: R(T)/T = 0.667 at T = 10⁶01_regret_counterexample.py
  • ✕Lemma 10.3 bound on Σ √(g²/t)App. 10.1, p.12 · T = 1, G∞ = 1/4: LHS 1/4 > RHS 1/803_lemma103.py
  • ✓Bias correction of v̂ₜ, eqs. (1) to (4)Sec. 3, p.3 · symbolic identity holds; Monte Carlo 4.2599 ± 0.0135 vs 4.2507_bias_correction.py
  • ✕Step size bounded by α(1−β₁)/√(1−β₂)Sec. 2.1, p.2 · extremal sequence reaches 5.78 α, claimed 3.16 α09_step_bound.py
  • ✓AdaMax as the p → ∞ limitSec. 7.1, p.8 · recursion equals max formula to 1.6e-6111_adamax_limit.py
  • ✓Invariance to diagonal gradient rescalingSec. 2.1, p.3 · trajectories identical to 4e-1613_scale_invariance.py
04 · Agents & CLI

Works with agents

With a token, Claude Code or another agent can request reviews, check the queue and download reports. One install; includes Claude Code skill.

CLI & API docs
✓ Review queued: checkpaper.app/r/m6qx4u722k
  Position 1 in the queue, estimated start shortly
  Free reviews this week: you 1/2 used, 1 left · site-wide 312/10,000
05 · Share

Post your preprint

Publish with a stable CheckPaper identifier. The review sits beside the paper; reply or post a revised version and it is reviewed again. Every review gets a badge and a poster.

All preprints
checkpaper.app / poster · BERT
Shareable review poster
KAuthor8:05 PM
Post the preprint with the CheckPaper review badge and share the poster.
CPCheckPaper8:06 PM
Published as CP-2026-0012 · score 8/10 · Minor revision

BERT: Pre-training of Deep Bidirectional Transformers

✓ checkpaper.app/r/uq85qzkvpc · 20 claims checked

View review
Start a review

Submit a paper, the review starts immediately

Enter an arXiv ID or upload a PDF. Attach code and LaTeX source to verify even more. You can close the page after submitting — the review keeps running, and your progress is waiting when you return. Editorial teams can batch-check submissions with the same flow.

Review a paper
Fully automated
No babysitting
About 1 hour
Typical verification time
Anytime
Check progress later