List your company

ResearchFormerly WizWand

MIL

Benchmarks

TaskDatasetSOTA 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