Automated Theorem Proving on HOList complex analysis corpus (val)
49.95Proofs Closed RateSubexpression sharing 12-hop GNN
Evaluation results
| Method | Links | |
|---|---|---|
| Subexpression sharing 12-hop GNNNetwork Architecture=Subexpression sharing 12-hop GNN2019.05 | 49.95 | |
| Max pooling onlyNetwork Architecture=Max pooling only2019.05 | 37.98 | |
| WaveNetNetwork Architecture=WaveNet2019.05 | 32.65 |