Downloads · 30 days
7
3% of all-time downloads
OsmosisProofling-GRPO-NT
xiaolesu/OsmosisProofling-GRPO-NT
OsmosisProofling-GRPO-NT 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 GRPO-only variant (Qwen3-8B, thinking disabled) trained directly on the base model without SFT priming.…
All-time downloads
280
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 3, 2026
- Updated
- Apr 17, 2026
- SHA
- c88d2df4
Model card
From the Hugging Face model README
xiaolesu/OsmosisProofling-GRPO-NT
Experimental checkpoint from "Data Overlap as a Post-Training Hyperparameter for Autoformalization." This is the GRPO-only variant (Qwen3-8B, thinking disabled) trained directly on the base model without SFT priming. 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 3, 2026
- Updated
- Apr 17, 2026