中文
Research Focus
基于深度学习方法在证明引导中应用
基于深度学习方法在证明引导中应用
Xingxing He
Associate Professor
Alma Mater:Southwest Jiaotong University
Degree:Doctor of engineering
School/Department:数学学院
Business Address:Intelligent Control Development Center, Southwest Jiaotong University,Chengdu 610031, Sichuan, PR China