Next-step suggestion on NATURALPROOFS-GEN core (test)
19.7Reasoning Errors (Ref)Next-step (NATURALPROVER)
Evaluation Results
| Method | Links | |||||||
|---|---|---|---|---|---|---|---|---|
| Next-step (NATURALPROVER)Knowledge source=Human-provided, Decoding strategy=Greedy, Backbone=GPT-3 (Curie)2022.05 | 19.7 | 26.32 | 19.1 | 8.57 | 5.86 | 51.43 | 42.86 |