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

Automated Theorem Proving on HOList complex analysis corpus (val)

49.95Proofs Closed Rate

Subexpression sharing 12-hop GNN

31.95836.62941.345.971May 24, 2019
Updated 4d ago

Evaluation Results

MethodLinks
2019.05
49.95
2019.05
37.98
2019.05
32.65