Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Theorem Proving on INT Proof length 10
Loading...
99
Success Rate
BF-kSubS
44.92
58.96
73
87.04
Aug 25, 2021
Success Rate
Updated 1mo ago
Evaluation Results
Method
Method
Links
Success Rate
BF-kSubS
Graph size=100
2021.08
99
BF-kSubS
Graph size=200
2021.08
99
BF-kSubS
Graph size=400
2021.08
99
BF-kSubS
Graph size=50
2021.08
97
BestFS
Graph size=400
2021.08
72
BestFS
Graph size=200
2021.08
67
BestFS
Graph size=100
2021.08
64
BestFS
Graph size=50
2021.08
47
Feedback
Search any
task
Search any
task
