@misc{indiciae7226b36794ba,
  title = {VERAS: Verification-Guided Adaptive Search for Reliable Operations Research},
  author = {Minbo Ma and Honglin Zhang and Bangtao Zhou and Chunguang Yu and Dasheng Ju and Yichen Shen and Fengli Xu and Yong Li},
  year = {2026},
  url = {https://arxiv.org/abs/2610.24329},
  note = {Source identifier: 2610.24329}
}