SMT-Based Translation Validation for Machine Learning Compiler.

Seongwon Bang, Seunghyeon Nam, Inwhan Chun, Ho Young Jhoo, Juneyoung Lee

Browse the full CAV paper archive.