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

Qwen3.5-9B-eq70-30m-pc10 on EquationalTheories-Proof: equational internalization evaluation Model: Qwen3.5-9B full SFT on the 30M 70/30 mixture plus the 304 study proof chats repeated 10 times (0.62M loss tokens, 2.0%) Evaluation of Qwen3.5-9B-eq70-30m-pc10 (revision c389206d3c8a54a4b4a1c6626effcf1000e3ea21) on the equational internalization protocol (recipe/equational_internalization/EVALUATION_PROTOCOL.md, environment EquationalTheories-Proof): closed-book recall of… See the full description on the dataset page: https://huggingface.co/datasets/violetxi/Qwen3.5-9B-eq70-30m-pc10-EquationalTheories-Proof-eval.