Our new X account is live! Follow @wizwand_team for updates
WorkDL logo mark

Theorem Proving on PISA 2021-10-22 (test)

57Success Rate

Thor

24.44832.89941.3549.801May 22, 2022
Updated 4d ago

Evaluation Results

MethodLinks
2022.05
57
2022.05
48.8
2022.05
39
2022.05
33.2
2022.05
25.7