lm-provers/FineProofs-SFT
Text GenerationQuestion AnsweringEN
Created by lm-provers at 2026, the lm-provers/FineProofs-SFT is a text generation dataset in EN in Parquet format.
About lm-provers/FineProofs-SFT
FineProofs SFT
Dataset Description
FineProofs SFT is a high-quality supervised fine-tuning dataset containing mathematical Olympiad problems paired with chain-of-thought reasoning and formal proofs distilled from DeepSeek-Math-V2. Th...
Details
- Task
- Text Generation, Question Answering
- Language
- EN
- Format
- Parquet
- Rows / instances
- N/A
- Creator
- lm-provers
- Year
- 2026