One Paper Accepted by DAC 2024 (CCF A)!
Paper coming soon!
Tianshi Xu
PhD student
Tianshi Xu is now a second-year Ph.D. student at the School of Integrated Circuit, Peking University. His current research interests include LLM reasoning for math. Previously, he works on efficient and privacy-preserving deep learning.