AIProver

A research framework jointly developing a formalization model and its verification-guided harness.

• Developer / Organization: Prithwish Jana and collaborators; Georgia Tech-led research team
• Category: Related research systems & hosted services
• Purpose: Improve semantic alignment and proof autoformalization for research mathematics.
• Key features: Joint model training and harness evolution with semantic-alignment checks. The project page currently lists code as forthcoming.
• Availability: Research page; code listed as forthcoming
• License: Not verified in the linked source (source (opens in a new tab))
• Website / Source code: https://jprithwish.github.io/AIProver/ (opens in a new tab)
• Version: No public software version found in the linked source
• Version source: Official release or documentation (opens in a new tab)
• Last checked: 2026-11-01