Share your thoughts, 1 month free Claude Pro on usSee more
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 1mo ago

Evaluation Results

MethodLinks
2019.05
49.95
2019.05
37.98
2019.05
32.65