PrithwishJana/AIProver
AIProver post-trains an open-weight LLM and evolves its harness from verifier rewards and certificates. It outperforms open-weight system at research-level proof auto-formalization, and as a Claude Code/Codex skill beats prior agents at lower cost.
正在读取项目信息…