Qinyi Sun
- DafnyBench: A Benchmark for Formal Software Verification
2024/06/12 by Chloe Loughridge, Loughridge, Chloe, Qinyi Sun +17 · 16 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
- Fractal Generative Models
2025/02/24 by Tianhong Li, Li, Tianhong, Qinyi Sun +5 · 16 citations
Economics, Econometrics and Finance · Computer Science · #Complex Systems and Time Series Analysis #Neural Networks and Applications