• Click:
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