Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Neural Theorem Proving on MIL General Subset
Loading...
39.13
Pass@15
ImProver
21.034
25.732
30.43
35.128
Oct 7, 2024
Pass@15
Updated 12d ago
Evaluation Results
Method
Method
Links
Pass@15
ImProver
2024.10
39.13
GPT-4o
2024.10
21.73
Feedback
Search any
task
Search any
task
