@misc{indiciaeccdc1aa22520,
  title = {Toward a Trustworthy Optimization Modeling Agent via Verifiable Synthetic Data Generation},
  author = {Vinicius Lima and Dzung T. Phan and Jayant Kalagnanam and Dhaval Patel and Nianjun Zhou},
  year = {2025},
  url = {https://arxiv.org/abs/2508.03117},
  note = {Source identifier: 2508.03117}
}