The authors report the result. AIProofWatch has identified its source and scope, without checking the proof.
Accessible artifact / proof
A proof, code, construction, or dataset is available. Availability does not mean it was checked.
Independent checking
Someone outside the author team checked the relevant claim. The record links their assessment and states its scope.
Formal checking
A proof assistant reportedly checked a specific statement under stated assumptions. The record identifies who ran the check; author reports are labelled.
Peer review
The linked paper underwent peer review. This does not establish reproduction, formal checking, or freedom from errors.
Read the scope
- Labels can coexist; they are not a ladder or a combined score.
- A checked lower bound does not establish an optimal answer.
- A formal proof checks its stated assumptions, which may differ from the original problem.
What counts as a check?
- A public repository shows availability, not independent checking.
- An arXiv upload does not establish peer review.
- Ordinary tests do not establish formal verification.
- Each checking record names the checker, statement, assumptions, and reported or reproduced basis.