Hao Hu Hao Hu Jan 1, 0001 Research Interests Interpretable Machine Learning Satisfiability Problem Approximate Logic Synthesis Hao Hu Postdoctoral Researcher Postdoctoral Researcher