MathConstraint: Automated Generation of Verified Combinatorial Reasoning Instances for LLMs. - Viresh Pati; Zhengyu Li 002; Piyush Jha; Rahul Garg 009; Yatharth Sejpal; Vijay Ganesh 001 (CoRR, 2026)