# Next-step suggestion on NATURALPROOFS-GEN core (test)

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

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

Data updated: 2026-02-26T06:01:10.330Z

Evaluation of model performance on suggesting the next logical step using the test split of the NATURALPROOFS-GEN core dataset, focusing on reasoning and lexical error analysis.

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 | Next-step suggestion |
| Dataset (including any stated split) | NATURALPROOFS-GEN core (test) |
| Metric | Reasoning Errors (Ref) |
| Unit | PERCENT |
| Direction | Lower is better |
| Results loaded | 1 of 1 |
| 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

- [Reasoning Errors (Ref)](<https://www.sota2.com/research/sota/next-step-suggestion-on-naturalproofs-gen-core-test.md?metric=Reasoning%20Errors%20(Ref)>): Lower is better; unit: PERCENT.

- [Reasoning Errors (Eqn)](<https://www.sota2.com/research/sota/next-step-suggestion-on-naturalproofs-gen-core-test.md?metric=Reasoning%20Errors%20(Eqn)>): Lower is better; unit: PERCENT.

- [Reasoning Errors (Other)](<https://www.sota2.com/research/sota/next-step-suggestion-on-naturalproofs-gen-core-test.md?metric=Reasoning%20Errors%20(Other)>): Lower is better; unit: PERCENT.

- [Lexical Errors (Lang)](<https://www.sota2.com/research/sota/next-step-suggestion-on-naturalproofs-gen-core-test.md?metric=Lexical%20Errors%20(Lang)>): Lower is better; unit: PERCENT.

- [Lexical Errors (Sym)](<https://www.sota2.com/research/sota/next-step-suggestion-on-naturalproofs-gen-core-test.md?metric=Lexical%20Errors%20(Sym)>): Lower is better; unit: PERCENT.

- [Per-Step Useful](<https://www.sota2.com/research/sota/next-step-suggestion-on-naturalproofs-gen-core-test.md?metric=Per-Step%20Useful>): Higher is better; unit: PERCENT.

- [Per-Step Correct](<https://www.sota2.com/research/sota/next-step-suggestion-on-naturalproofs-gen-core-test.md?metric=Per-Step%20Correct>): Higher is better; unit: PERCENT.

## Recorded results

| Method | Reasoning Errors (Ref) | Result date | Report paper |
| --- | --- | --- | --- |
| Next-step (NATURALPROVER) | 19.7 | Not recorded | 68fa6dc41e209131cea3bf94 |

### Next-step (NATURALPROVER)

Reasoning Errors (Ref): 19.7. Result ID: 698fdb093a6c314849fc5b0c.

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

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

[Implementation](<https://github.com/wellecks/naturalprover>)

Recorded evaluation configuration: {"Knowledge source":"Human-provided","Decoding strategy":"Greedy","Backbone":"GPT-3 (Curie)"}. This record does not assert independent reproduction.

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