Proof declarativity optimization on MIL benchmark leaderboard · SOTA2 Research

Proof declarativity optimization on MIL

13.45ImprovementImProver

Evaluation Results

Method	Links
ImProver2024.10		13.45	30.97	100	34.21
GPT-4o2024.10		4.18	14.48	28.85	11.54