TY  - RPRT
TI  - LLM-Based Config Synthesis requires Disambiguation
AU  - Rajdeep Mondal
AU  - Nikolaj Bjorner
AU  - Todd Millstein
AU  - Alan Tang
AU  - George Varghese
PY  - 2025
UR  - https://arxiv.org/abs/2507.12443
ID  - 2507.12443
ER  -