SMT-based Translation Validation for Machine Learning Compiler
Authors: Seongwon Bang, Seunghyeon Nam, Inwhan Chun, Ho Young Jhoo and Juneyoung Lee
Paper Information
| Title: | SMT-based Translation Validation for Machine Learning Compiler |
| Authors: | Seongwon Bang, Seunghyeon Nam, Inwhan Chun, Ho Young Jhoo and Juneyoung Lee |
| Proceedings: | CAV 2022 All Papers |
| Editors: | Yakir Vizel, Sharon Shoham and Hari Govind Vediramana Krishnan |
| Keywords: | Compiler verification, Translation validation, Satisfiability Modulo Theory, Machine Learning Compiler, Deep Learning Compiler |
| Pages: | 21 |
| Talk: | Aug 10 14:40 (Session 115A: Machine Learning) |
| Paper: |  |