AI-reviewer of arXiV papers.

MathAudit organizes AI-generated checks of statements, proofs, and novelty—without ratings, rankings, or editorial judgment.

Current corpus405 papers

Search the corpus

Advanced paper search

arXiv-compatible fields
Claimed MSC classifications
No MSC filter selected

Choose a code at any level. Narrower classifications load when needed. Labels follow the official Mathematics Subject Classification 2020 ↗.

Parent selections use prefixes. For example, 68V matches every 68Vxx code represented in the corpus.

Date
Subject scope

Audit result tags

Within a category, selected tags are alternatives. Selections in different categories must all match. Leave a category empty to ignore it.

Statements
Proofs
Novelty
Display and version options
Abstracts and mathematical typesetting are available on each paper page.

Current results

405 papers

Showing 125. Metadata from arXiv. MSC classifications are author-supplied claims. Bundled corpus refreshed Aug 26, 2026; latest included record Aug 19, 2026.