Our new X account is live! Follow @wizwand_team for updates
Home
/
Benchmarks
Theorem Proving on INT Proof length 15
Loading...
91
Success Rate
BF-kSubS
5.72
27.86
50
72.14
Aug 25, 2021
Success Rate
Updated 4d ago
Evaluation Results
Method
Method
Links
Success Rate
BF-kSubS
Graph size=100
2021.08
91
BF-kSubS
Graph size=200
2021.08
91
BF-kSubS
Graph size=400
2021.08
91
BestFS
Graph size=400
2021.08
47
BF-kSubS
Graph size=50
2021.08
38
BestFS
Graph size=200
2021.08
35
BestFS
Graph size=100
2021.08
24
BestFS
Graph size=50
2021.08
9
Feedback
Search any
task
Search any
task
