Chuyue Sun
- SGLang: Efficient Execution of Structured Language Model Programs
2023/12/12 by Lianmin Zheng, Liangsheng Yin, Zheng, Lianmin +21 · 1 voice · 248 citations
Computer Science · #Natural Language Processing Techniques #Software Engineering Research #Topic Modeling #cs.AI #cs.PL
- DafnyBench: A Benchmark for Formal Software Verification
2024/06/12 by Chloe Loughridge, Qinyi Sun, Loughridge, Chloe +17 · 17 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Methods in Verification #Machine Learning (cs.LG) #Programming Languages (cs.PL) #Security and Verification in Computing #Software Engineering (cs.SE) #Software Testing and Debugging Techniques
- Clover: Closed-Loop Verifiable Code Generation
2023/10/26 by Chuyue Sun, Sun, Chuyue, Ying Sheng +5 · 13 citations
Computer Science · #Software Testing and Debugging Techniques #Software Engineering Research #Software Reliability and Analysis Research
- ClassInvGen: Class Invariant Synthesis using Large Language Models
2025/02/26 by Chuyue Sun, Viraj Agashe, Sun, Chuyue +13 · 4 citations
Computer Science · #Software Testing and Debugging Techniques #Software Engineering Research #Logic, programming, and type systems