Share your thoughts, 1 month free Claude Pro on usSee more

Home/Benchmarks

Neural Theorem Proving on MIL-C04

45.45Pass@15

ImProver

Updated 12d ago

Evaluation Results

Method	Links
ImProver 2024.10		45.45
GPT-4o 2024.10		18.18

SOTA Paper

ImProver

ImProver: Agent-Based Automated Proof Optimization

Dataset

MIL

Follow for update

@wizwand_team Discord

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)

© 2026 wizwand

Blog Contact Changelog Swarm

Privacy Policy Terms of Service FAQs Swarm Docs