Kaiyu Yang
LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
Peiyang Song
Description: Shixing Yu is applying for PhD in fall 2020.
Shixing Yu
I am Shixing Yu (Pronunciation: sh-sing; Chinese Character: 于世兴), a Master student @ the ECE department, The University of Texas Austin. My previous research focuses on using statistical methods to compress neural networks by designing efficient architecture and algorithms. I'm generally interested in energy-efficient solutions for machine learning, sparse neural network analysis, and trustworthy AI (Automated Theorem Proving), explainable AI. Previously, I finished my undergraduate study @ EECS deparment,
Email: shixingyu [at] utexas.edu, shixingy [at] nvidia.com
Kaiyu Yang
LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
Peiyang Song