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

MIL dataset and benchmarks · SOTA2 Research

Research Datasets

MIL

Benchmarks

Task NameDataset NameSOTA MethodSort

Task NameDataset NameSOTA ResultTrendResults

Proof Optimization (Mixed)

MIL aggregated (test)

27.31Improvement

4

Proof Optimization (Declarativity)

MIL aggregated (test)

9.34Improvement

4

Proof Optimization (Length)

MIL aggregated (test)

20.96Improvement

4

Proof length optimization

MIL

43.55Improvement

4

Neural Theorem Proving

MIL General Subset

39.13Pass@15

2

Neural Theorem Proving

MIL-C04

45.45Pass@15

2

Proof declarativity optimization

MIL

13.45Improvement

2

Popular tasks

Neural Theorem Proving Proof length optimization Proof declarativity optimization Proof Optimization (Length)Proof Optimization (Declarativity)

Follow for updates

Join SOTA2 Contact