violetxi/Qwen3.5-9B-eq70-30m-EquationalTheories-Proof-eval
Qwen3.5-9B-eq70-30m on EquationalTheories-Proof: equational internalization evaluation Model: Qwen3.5-9B full SFT on 30M loss tokens: 70% notes (21.0M) + 30% trajectories (9.0M) Evaluation of Qwen3.5-9B-eq70-30m (revision af0ac70cff2cca67261963fa48f7087747defc49) on the equational internalization protocol (recipe/equational_internalization/EVALUATION_PROTOCOL.md, environment EquationalTheories-Proof): closed-book recall of implication/non-implication relationships between the 4… See the full description on the dataset page: https://huggingface.co/datasets/violetxi/Qwen3.5-9B-eq70-30m-EquationalTheories-Proof-eval.
Conversations for this repository live on Hugging Face.
CoolFace shows imported repositories read-only. Posting into someone else’s repository from here would need an authorised integration and the account holder’s consent, so the link goes to the source instead.
Open discussions on Hugging Face