@misc{indiciae4b0f6b39a23f,
  title = {LLM-Based Config Synthesis requires Disambiguation},
  author = {Rajdeep Mondal and Nikolaj Bjorner and Todd Millstein and Alan Tang and George Varghese},
  year = {2025},
  url = {https://arxiv.org/abs/2507.12443},
  note = {Source identifier: 2507.12443}
}