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-C08 benchmark leaderboard · SOTA2 Research

Research Benchmarks

Neural Theorem Proving on MIL-C08

33.33Pass@15ImProver

Updated 2mo ago

Evaluation Results

Method	Links
ImProver2024.10		33.33
GPT-4o2024.10		25

SOTA Paper

ImProver

ImProver: Agent-Based Automated Proof Optimization

Dataset

MIL-C08

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)