OSVerify (OSV)

An AI reviewer that finds and audits potential errors in mathematical solutions and papers.

• Developer / Organization: Fan Nie, Haotian Ye, Shurui Liu, Zihao Wang, Stefano Ermon and James Zou
• Category: Open-source research & review agents
• Purpose: Find substantive errors in mathematical arguments for expert review.
• Key features: Audited review of mathematical solutions and papers. Feedback supports human review; it is not a formal proof certificate.
• Availability: Open-source software; Apache-2.0
• License: Apache-2.0 (source (opens in a new tab))
• Website / Source code: https://osverify.github.io/ (opens in a new tab)
• Version: GitHub release v0.7.1
• Version source: Official release or documentation (opens in a new tab)
• Last checked: 2026-11-01