TY  - RPRT
TI  - MathConstraint: Automated Generation of Verified Combinatorial Reasoning Instances for LLMs
AU  - Viresh Pati
AU  - Zhengyu Li
AU  - Piyush Jha
AU  - Rahul Garg
AU  - Yatharth Sejpal
AU  - Vijay Ganesh
PY  - 2026
UR  - https://arxiv.org/abs/2605.08498
ID  - 2605.08498
ER  -