Shangyu Li
- OSVBench: Benchmarking LLMs on Specification Generation Tasks for Operating System Verification
2025/04/29 by Shangyu Li, Li, Shangyu, Jiang, Juyong +4 · 3 citations
Computer Science · #Advanced Software Engineering Methodologies #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Formal Methods in Verification #Operating Systems (cs.OS) #Programming Languages (cs.PL) #Software Engineering (cs.SE) #Software System Performance and Reliability
- ETAS: An Effect-Typed Language for Agent Systems
2026/07/20 by Huiri Tan, Yikun Wang, Puyang Zhang +2
#cs.PL #cs.AI #cs.LG #cs.MA