Zhengxu Yan
- VERINA: Benchmarking Verifiable Code Generation
2025/05/29 by 哲章 小野, Ye, Zhe, Zhengxu Yan +9 · 6 citations
Computer Science · Materials Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Machine Learning in Materials Science #Model-Driven Software Engineering Techniques #Programming Languages (cs.PL) #Software Engineering (cs.SE) #Software Engineering Research