Our new X account is live! Follow @wizwand_team for updates
Home
/
Benchmarks
Theorem Proving on PISA 2021-10-22 (test)
Loading...
57
Success Rate
Thor
24.448
32.899
41.35
49.801
May 22, 2022
Success Rate
Updated 4d ago
Evaluation Results
Method
Method
Links
Success Rate
Thor
2022.05
57
Language model ∪ Sledgehammer
2022.05
48.8
Language model
parameters=700M, sampl...
2022.05
39
LISA
2022.05
33.2
Sledgehammer
timeout limit=30s, ATP...
2022.05
25.7
Feedback
Search any
task
Search any
task