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

Qwen3.5-9B-eq70-3m on EquationalTheories-Proof: equational internalization evaluation Model: Qwen3.5-9B full SFT on 3M loss tokens: 70% notes (2.10M) + 30% trajectories (0.90M) Evaluation of Qwen3.5-9B-eq70-3m (revision 14fd1fe253524178b6cdfc819ea8d39c4648d496) 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-3m-EquationalTheories-Proof-eval.