Neural Theorem Proving on MIL General Subset benchmark leaderboard · SOTA2 Research

Neural Theorem Proving on MIL General Subset

39.13Pass@15ImProver

Evaluation Results

Method	Links
ImProver2024.10		39.13
GPT-4o2024.10		21.73