Categories Companies Research

Loading the SOTA2 catalog…

Explore

Categories Companies Research

Contribute

Join SOTA2 Contact

SOTA2

© 2026 SOTA2

Build in Bellevue, USA

WizWand is now SOTA2 Research

Papers Benchmarks Datasets Tasks

Neural Theorem Proving on MIL-C04 benchmark leaderboard · SOTA2 Research

Research Benchmarks

Neural Theorem Proving on MIL-C04

45.45Pass@15ImProver

Updated 2mo ago

Evaluation Results

Method	Links
ImProver2024.10		45.45
GPT-4o2024.10		18.18

SOTA Paper

ImProver

ImProver: Agent-Based Automated Proof Optimization

Dataset

MIL

Follow for updates

Join SOTA2 Contact

Related Benchmarks

Proof length optimization on MIL Proof Optimization (Length) on Mathlib Proof Optimization (Length) on MIL aggregated (test)Proof Optimization (Declarativity) on MIL aggregated (test)Proof Optimization (Mixed) on MIL aggregated (test)