metadata
license: apache-2.0
datasets:
- Kevew/mathlib4_summary_tactic_states
- Kevew/minif2f-kiminaprover8b-inferenced
base_model:
- nvidia/OpenReasoning-Nemotron-7B
Model Description
This model is fine-tuned on tactic states from the Mathlib4 dataset and leverages inference data from MiniF2F Kiminaprover8b. It builds upon the NVIDIA OpenReasoning Nemotron 7B base model.
Performance
| task | dataset | metric | value | pass@ |
|---|---|---|---|---|
| MiniF2F | MiniF2F benchmark | accuracy | 39.6% | 32 |
Usage
You can load the model using the Hugging Face Transformers library and apply it to tasks involving tactic state prediction and theorem proving.
For more details, check out the datasets and base model referenced above.