Mathematical Reasoning Models

Researcher 6 reports

Runxin Xu

DeepSeek

Researcher at DeepSeek whose public homepage describes work on DeepSeek R1, V1, V2, V3, Math, Coder, and mixture-of-experts systems.

Researcher 1 reports

Renqi Xu

DeepSeek

PhD student at Tsinghua University and visiting student at MIT, focused on theorem proving and formal verification in Lean.

Researcher 11 reports

Daya Guo

DeepSeek / Moonshot AI

DeepSeek researcher focused on NLP, code intelligence, and LLM reasoning, with public work spanning DeepSeek-Coder, DeepSeekMath, DeepSeek-V2, DeepSeek-V3, and DeepSeek-R1.

Researcher 1 reports

Xinyu Zheng

DeepSeek

PhD student at Tsinghua University working on formal theorem proving, machine learning, formal methods, and programming languages.

Researcher 4 reports

Zhihong Shao

DeepSeek

Research scientist at DeepSeek AI working on multimodal large language models and end-to-end autonomous driving. Earned a PhD in computer science from the Chinese University of Hong Kong.

Researcher 8 reports

Qihao Zhu

DeepSeek

Research scientist focused on foundation models and multimodal large language models; his homepage notes earlier work at DeepSeek AI and current research at the University of Southern California.

Researcher 1 reports

Zhiyuan Gou

DeepSeek

Researcher working on theorem proving and reinforcement learning.

Researcher 6 reports

Y. Wu

DeepSeek

Yu Wu is a researcher at DeepSeek AI and head of its LLM Alignment Team. His public homepage highlights work on reinforcement learning and alignment for the DeepSeek model family, including DeepSeek-V3, DeepSeek-R1, and DeepSeekMath, and notes prior work at Microsoft Research Asia.

Researcher 4 reports

Mingchuan Zhang

DeepSeek

Research scientist at DeepSeek interested in large language models, reinforcement learning, robot learning, and machine learning.

Researcher 4 reports

Chong Ruan

DeepSeek

Researcher at DeepSeek and former master's student in EECS at Peking University. Public profiles list work on LLMs, multimodal systems, transformers, BERT, and machine translation.

Researcher 8 reports

Junxiao Song

DeepSeek

Member of Technical Staff at DeepSeek.

Researcher 6 reports

Peiyi Wang

DeepSeek

Research scientist at DeepSeek with public GitHub projects on AI systems.

Researcher 1 reports

Bingxin Wang

DeepSeek

Researcher working on formal reasoning and theorem-proving language models, including DeepSeek-Prover-V2.

Researcher 1 reports

Boxi Wu

DeepSeek

Researcher working on formal reasoning and theorem-proving language models, including DeepSeek-Prover-V2.

Researcher 1 reports

Ruikang Yin

DeepSeek

Researcher working on formal reasoning and theorem-proving language models, including DeepSeek-Prover-V2.

Researcher 1 reports

Zheren Fan

DeepSeek

Researcher working on formal reasoning and theorem-proving language models, including DeepSeek-Prover-V2.