zhengjiyue/spark-x25-congruence-study

A one-unit change that removes every solution This repository contains an original 32-problem linear-congruence corpus, 64 real Spark-X2.5-1.7B BF16 responses, and reproducible evaluation code. Each of 16 solvable problems is paired with an unsolvable problem whose right-hand side differs by one. Both thinking settings were run once under a 2,048-token cap. Strict full-answer scores were 17/32 without thinking and 27/32 with thinking. These are results on a small constructed… See the full description on the dataset page: https://huggingface.co/datasets/zhengjiyue/spark-x25-congruence-study.