Datasetpublic

violetxi/Qwen3.5-9B-eq70-1m-EquationalTheories-Proof-eval

Qwen3.5-9B-eq70-1m on EquationalTheories-Proof: equational internalization evaluation Model: Qwen3.5-9B full SFT (LR 5e-6, two epochs) on 1M loss tokens: 70% WithProof notes (0.70M) + 30% note-conditioned teacher trajectories (0.30M), held-out-first split relationships-v2/ladder v2 Evaluation of Qwen3.5-9B-eq70-1m (revision 1545499d4db014a012dedc6a7b853779ca21d93e) on the equational internalization protocol (recipe/equational_internalization/EVALUATION_PROTOCOL.md, environment… See the full description on the dataset page: https://huggingface.co/datasets/violetxi/Qwen3.5-9B-eq70-1m-EquationalTheories-Proof-eval.

sourceHugging Faceupdated 7d agoView on Hugging Face

0likes116downloads

settings

This repository belongs to violetxi on Hugging Face.

CoolFace never edits a repository it does not host. Visibility, licence, collaborators and gating are all managed at the source.

nameQwen3.5-9B-eq70-1m-EquationalTheories-Proof-eval

visibilitypublic

licencenot set

gatedno

ownervioletxi

Account settings