@misc{indiciae71782a74d16c,
  title = {Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning},
  author = {Lucky Verma},
  year = {2026},
  url = {https://arxiv.org/abs/2607.17047},
  note = {Source identifier: 2607.17047}
}