@misc{indiciaeec480f5a62c9,
  title = {MathConstraint: Automated Generation of Verified Combinatorial Reasoning Instances for LLMs},
  author = {Viresh Pati and Zhengyu Li and Piyush Jha and Rahul Garg and Yatharth Sejpal and Vijay Ganesh},
  year = {2026},
  url = {https://arxiv.org/abs/2605.08498},
  note = {Source identifier: 2605.08498}
}