Showing cs.AIShow all
2 papers · 1 filter
cs.AI2024
Clover: Closed-Loop Verifiable Code Generation
Chuyue Sun, Ying Sheng, Oded Padon +1
The use of large language models for code generation is a rapidly growing trend in software development. However, without effective methods for ensuring the correctness of generate…
cs.AI2024
SGLang: Efficient Execution of Structured Language Model Programs
Lianmin Zheng, Liangsheng Yin, Zhiqiang Xie +9
Large language models (LLMs) are increasingly used for complex tasks that require multiple generation calls, advanced prompting techniques, control flow, and structured inputs/outp…