Shen Zheng
Hi! I am a Member of Technical Staff at xAI reasoning, working on agentic RL to improve grok factuality and usefulness. I was previously Senior Research Scientist at Bytedance Seed Team, working on code LLMs and Agents. I got my MS in CS from UIUC and decided to move into industry rather than PhD. Before that, I obtained my bachelor degree in Zhejiang University.
My current research work includes:
Previously in academia, I worked on:
selected publications & models
- Model
- NAACLGPT-Fathom: Benchmarking Large Language Models to Decipher the Evolutionary Path towards GPT-4 and BeyondFindings of the Association for Computational Linguistics: NAACL 2024, 2024
- ACLBFS-Prover: Scalable Best-First Tree Search for LLM-based Automatic Theorem ProvingACL 2025, 2025