Yi, Kwangkeun
- Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation
2023/04/21 by Yong‐Ho Yoon, Yoon, Yongho, Woosuk Lee +3 · 3 citations
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Programming Languages (cs.PL) #Software Engineering Research #Software Testing and Debugging Techniques
- A Static Analyzer for Detecting Tensor Shape Errors in Deep Neural Network Training Code
2021/12/16 by Jhoo, Ho Young, Kim, Sehoon, Song, Woosung +3 · 1 citation
#D.2.5 #FOS: Computer and information sciences #Machine Learning (cs.LG) #Programming Languages (cs.PL)