研究方向

• 解释性机器学习（Interpretable Machine Learning)
• 可满足性问题（Satisfiability Problem）
• 近似综合（Approximate Logic Synthesis）