Our new X account is live! Follow @wizwand_team for updates
Home
/
Benchmarks
Theorem Proving on INT (Proof length 5)
Loading...
99
Success Rate
BF-kSubS
81.32
85.91
90.5
95.09
Aug 25, 2021
Success Rate
Updated 4d ago
Evaluation Results
Method
Method
Links
Success Rate
BF-kSubS
Graph size=50
2021.08
99
BF-kSubS
Graph size=100
2021.08
99
BF-kSubS
Graph size=200
2021.08
99
BF-kSubS
Graph size=400
2021.08
99
BestFS
Graph size=400
2021.08
93
BestFS
Graph size=200
2021.08
92
BestFS
Graph size=100
2021.08
89
BestFS
Graph size=50
2021.08
82
Feedback
Search any
task
Search any
task
