LLM-Based Config Synthesis requires Disambiguation

Rajdeep Mondal, Nikolaj Bjorner, Todd Millstein +2

Beyond hallucinations, another problem in program synthesis using LLMs is ambiguity in user intent. We illustrate the ambiguity problem in a networking context for LLM-based increm…