# NATURALPROOFS-GEN

Source: [NATURALPROOFS-GEN](<https://www.sota2.com/research/dataset/naturalproofs-gen>)

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

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.

## Benchmarks

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

- [Full proof generation on NATURALPROOFS-GEN core (test)](<https://www.sota2.com/research/sota/full-proof-generation-on-naturalproofs-gen-core-test.md>): Full proof generation; NATURALPROOFS-GEN core (test).

- [Next-step suggestion on NATURALPROOFS-GEN core (test)](<https://www.sota2.com/research/sota/next-step-suggestion-on-naturalproofs-gen-core-test.md>): Next-step suggestion; NATURALPROOFS-GEN core (test).