edbeeching/fineproofs-qwen3-235b-a22b-thinking-2507
收藏Hugging Face2026-05-27 更新2026-05-31 收录
下载链接：
https://hf-mirror.com/datasets/edbeeching/fineproofs-qwen3-235b-a22b-thinking-2507
下载链接
链接失效反馈官方服务：
资源简介：
---
configs:
- config_name: default
data_files:
- split: train
path: data/train.parquet
---
# FineProofs Qwen3 235B A22B Thinking 2507
FineProofs-compatible training snapshot generated with `Qwen/Qwen3-235B-A22B-Thinking-2507`.
Snapshot timestamp: `2026-05-27T10:03:12Z`
Rows: `4202`
The schema exactly matches `lm-provers/FineProofs-SFT`: `problem`, `reasoning_content`, `proof`, `category`, `competition`, `gemini-3-pro-grade`, `qwen3-4b-thinking-reward@128`, `source`, and `messages`.
Only complete `finish_reason=stop` generations with non-empty reasoning and proof are included. The grade/reward columns are present for schema compatibility but left null because these generated proofs have not been graded.
提供机构：
edbeeching
