# HolStep

Source: [HolStep](<https://www.sota2.com/research/dataset/holstep>)

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.

- [Premise Selection on HolStep (test)](<https://www.sota2.com/research/sota/premise-selection-on-holstep-test.md>): Premise Selection; HolStep (test).

- [Proof step classification on Holstep (test)](<https://www.sota2.com/research/sota/proof-step-classification-on-holstep-test.md>): Proof step classification; Holstep (test).