# Automated Theorem Proving on HOList complex analysis corpus (val)

Source: [Automated Theorem Proving on HOList complex analysis corpus (val)](<https://www.sota2.com/research/sota/automated-theorem-proving-on-holist-complex-analysis-corpus-val>)

Collection index: [llms.txt](<https://www.sota2.com/research/llms.txt>)

Data updated: 2026-02-26T05:59:01.754Z

Evaluation of model performance on automated theorem proving tasks using the validation split of the HOList complex analysis corpus.

A research result applies to its stated dataset, split, metric and evaluation configuration. Compare like-for-like settings, preserve the metric's unit and direction, and distinguish paper-reported results from independent reproduction. The best result recorded here is not a claim of exhaustive, current global coverage.

| Scope | Recorded value |
| --- | --- |
| Task | Automated Theorem Proving |
| Dataset (including any stated split) | HOList complex analysis corpus (val) |
| Metric | Proofs Closed Rate |
| Unit | PERCENT |
| Direction | Higher is better |
| Results loaded | 3 of 3 |
| Coverage | All results currently returned for this benchmark |

Evaluation settings may differ between results. The original papers and recorded configurations are needed to establish comparability. A shared metric name alone does not establish an identical protocol.

## Metrics

- [Proofs Closed Rate](<https://www.sota2.com/research/sota/automated-theorem-proving-on-holist-complex-analysis-corpus-val.md?metric=Proofs%20Closed%20Rate>): Higher is better; unit: PERCENT.

## Recorded results

| Method | Proofs Closed Rate | Result date | Report paper |
| --- | --- | --- | --- |
| Subexpression sharing 12-hop GNN | 49.95 | Not recorded | 68fa66571e209131cea0fa3a |
| Max pooling only | 37.98 | Not recorded | 68fa66571e209131cea0fa3a |
| WaveNet | 32.65 | Not recorded | 68fa66571e209131cea0fa3a |

### Subexpression sharing 12-hop GNN

Proofs Closed Rate: 49.95. Result ID: 698cea968b517eb4331daa65.

[Reporting paper](<https://www.sota2.com/research/paper/68fa66571e209131cea0fa3a.md>)

[Method origin paper](<https://www.sota2.com/research/paper/68fa66571e209131cea0fa3a.md>)

Recorded evaluation configuration: {"Network Architecture":"Subexpression sharing 12-hop GNN"}. This record does not assert independent reproduction.

### Max pooling only

Proofs Closed Rate: 37.98. Result ID: 698cea968b517eb4331daa64.

[Reporting paper](<https://www.sota2.com/research/paper/68fa66571e209131cea0fa3a.md>)

Recorded evaluation configuration: {"Network Architecture":"Max pooling only"}. This record does not assert independent reproduction.

### WaveNet

Proofs Closed Rate: 32.65. Result ID: 698cea968b517eb4331daa63.

[Reporting paper](<https://www.sota2.com/research/paper/68fa66571e209131cea0fa3a.md>)

[Method origin paper](<https://www.sota2.com/research/paper/68fa669b1e209131cea11574.md>)

[Implementation](<http://deephol.org/>)

Recorded evaluation configuration: {"Network Architecture":"WaveNet"}. This record does not assert independent reproduction.

Page 1 of 1. This is an index page, not the full collection.