compiler verification, Deep Learning Compiler, Machine Learning Compiler, Satisfiability Modulo Theory, Translation Validation.
