Keyword:Machine Learning Compiler

Papers
SMT-Based Translation Validation for Machine Learning Compiler Seongwon Bang, Seunghyeon Nam, Inwhan Chun, Ho Young Jhoo and Juneyoung Lee EasyChair Preprint no. 8632