Shibo Hao
Member Of Technical Staff at Thinking Machines Lab
San Diego, California, United States
Summary
🤩
Rockstar🎓
Top SchoolShibo Hao is a PhD candidate in Data Science at UC San Diego and a Member of Technical Staff focused on NLP and ML, with seven years of experience bridging symbolic knowledge and neural language models. He explores making models more robust, interpretable, and practically helpful by combining knowledge graphs and latent-space reasoning — work that recently contributed to a Meta internship and a paper on training LLMs to reason in continuous latent spaces. Trained at Peking University, he brings strong theoretical grounding alongside hands-on research experience mentoring by leaders like Yuandong Tian and Jason Weston. Based in San Diego, he is especially interested in approaches that make model behavior more explainable and human-centered, often integrating symbolic structure into neural representations.
7 years of coding experience
1 year of employment as a software developer
University of California, San DiegoBachelor of Science - BS, Computer Science, Bachelor of Science - BS, Computer Science at Peking UniversityBeijing No.4 High School
Github Skills (62)
pytorch10
language-model10
python10
machine-learning10
large-language-models10
llm10
audio10
knowledge-graph10
natural-language-processing10
nlp10
machine-learning-models9
transformers9
multimodal9
inference9
deep-learning9
Programming languages (9)
Github contributions (5)
maitrix-org/llm-reasoners
Jul 2023 - Jun 2025
A library for advanced large language model reasoning
Contributions:1 release, 33 reviews, 52 PRs in 1 year 10 months
large-language-models
Ber666/ToolkenGPT
May 2023 - May 2024
ToolkenGPT: Augmenting Frozen Language Models with Massive Tools via Tool Embeddings - NeurIPS 2023 (oral)
Contributions:3 PRs, 15 pushes, 3 branches in 11 months
language-model
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.