Single PDF Audit

Upload a paper for a full audit

The auditor extracts the main results, attempts to re-prove them under the stated cutoff, and produces a referee-style reconciliation report. Large papers can take several minutes.