1 paper · 1 filter
Rajesh Kumar, Waqar Ali, Junaid Ahmed +2
Large language models generate plausible code but cannot verify correctness. Existing multi-agent systems simulate execution or leave verification optional. We introduce execution-…