Paste an arXiv URL. Get a trust-ladder verdict.
EML PaperGuard reads the paper's metadata (abstract, categories, revision history, authors) and runs deterministic heuristics from the EML trust ladder: ExactRewrite, ApproximationLaw, DomainRestricted, MissingEvidence, Rejected, Deferred. We never fake LeanVerified. We never invent metrics. If we cannot defend a claim, we say so.
Try: LK-99 (2307.12008) · Collatz (2101.06107) · ZK Sublinear (2509.05326)
Featured audits
Click any card below to load the audit instantly — no API call.
How to read a PaperGuard audit
Does PaperGuard prove a paper is wrong?
No. PaperGuard flags scope, evidence, formulation, and limitation gaps from metadata and abstract text. A full technical rejection still requires reading the paper, checking equations, and comparing independent evidence.
What does “Rejected” mean?
Rejected means the claim, as phrased in the abstract or metadata, is not defendable at this audit scope. It is a trust-ladder refusal, not a peer-review verdict.
Why is my paper “Deferred”?
Deferred means the relevant evidence is likely inside the PDF, code, figures, proofs, or experiments. PaperGuard will not pretend to verify material it has not read.
What is “MissingEvidence”?
MissingEvidence means a claim needs standard support that the abstract did not mention. Examples include Meissner data for superconductivity, explicit limits for approximations, or validation domains for broad claims.
When can a claim be “LeanVerified”?
Only when a real Lean theorem compiles without sorry, admit, or custom axioms and the theorem statement matches the audited claim. PaperGuard does not promote abstract text to LeanVerified.
The EML trust ladder
Every claim is graded on a single ladder. No exception, no fake LeanVerified.
| Status | Meaning |
|---|---|
| ExactRewrite | Stated identically and verifiably from a trusted source. |
| ApproximationLaw | True up to a quantified bound. |
| DomainRestricted | True only on a stated subdomain. |
| MissingEvidence | Plausible, but the abstract does not provide the evidence the claim needs. |
| Rejected | Claim, as stated, is not defendable. |
| Deferred | Verification requires a full paper read or replication. |
Pricing
Free
€0
- 3 audits / month
- Trust-ladder verdict
- JSON report
Pro
€9.99 / mo
- Unlimited audits
- API access
- Markdown export
- Priority queue
Pricing tiers go live at v1.0. Today, the engine runs free for everyone.