SlideShare a Scribd company logo
PengCheng2

Peng Cheng

5 SlideShares7 Followers23 Followings
5 SlideShares7 Followers23 Followings
Personal Information
Organization / Workplace
Toronto, Canada Area Canada
Occupation
Data Scientist at Toronto
Industry
Education
Contact Details

Presentations(5) 

See all
Shape Safety in Tensor Programming is Easy for a Theorem Prover -SBTB 2021
Shape Safety in Tensor Programming is Easy for a Theorem Prover -SBTB 2021Shape Safety in Tensor Programming is Easy for a Theorem Prover -SBTB 2021
Shape Safety in Tensor Programming is Easy for a Theorem Prover -SBTB 2021
 
Tensor Field Network (and other ConvNet Generalisations)
Tensor Field Network (and other ConvNet Generalisations)Tensor Field Network (and other ConvNet Generalisations)
Tensor Field Network (and other ConvNet Generalisations)
 
A fast graphic api for non-linear machine learning
A fast graphic api for non-linear machine learningA fast graphic api for non-linear machine learning
A fast graphic api for non-linear machine learning