Ying Sheng
Ying1123
Large Language Models, Machine Learning Systems, Formal Verification, Automated Reasoning.
Haoqin Tu
ImKeTT
PhD @UCSC-VLAA. Into NLP, Controllable Text Generation, Multimodal Intelligence, Matrix Tricks...
Santa Cruz, CA