Downloads · 30 days
5
2% of all-time downloads
OsmosisProofling-SFT-NT-GRPO-NT-Overlap
xiaolesu/OsmosisProofling-SFT-NT-GRPO-NT-Overlap
OsmosisProofling-SFT-NT-GRPO-NT-Overlap is a machine learning model from xiaolesu. Use it for the machine learning task on the model card, and read the license before you ship it in a product.
Experimental checkpoint from "Data Overlap as a Post-Training Hyperparameter for Autoformalization." This is the SFT+GRPO with 100% overlap variant (Qwen3-8B, thinking disabled) -- the control condition where GRPO reu…
All-time downloads
303
Public
Parameters
8.2B
16.4 GB on disk
Likes
0
Public
Repo makeup
Click a slice to open those files.
.safetensors16.4 GB · 100%
At a glance
- Model type
- qwen3
- Access
- Public
- Created
- Apr 6, 2026
- Updated
- Apr 17, 2026
- SHA
- 14c72f08
Model card
From the Hugging Face model README
xiaolesu/OsmosisProofling-SFT-NT-GRPO-NT-Overlap
Experimental checkpoint from "Data Overlap as a Post-Training Hyperparameter for Autoformalization." This is the SFT+GRPO with 100% overlap variant (Qwen3-8B, thinking disabled) -- the control condition where GRPO reuses SFT data entirely. See the paper repo for details, results, and all artifacts.
📄 Paper
This model is part of the experiments in:
SFT-GRPO Data Overlap as a Post-Training Hyperparameter for Autoformalization
Xiaole Su, Kasey Zhang, Andy Lyu
https://arxiv.org/abs/2604.13515
- Type
- qwen3
- Created
- Apr 6, 2026
- Updated
- Apr 17, 2026