Mathematical Reasoning Models

AI researcher at DeepSeek working on natural language processing, code intelligence, and large language model reasoning.

Yu Wu's public homepage says he is a technical staff member at DeepSeek AI who leads the LLM Alignment Team and works on writing, QA, AI search, reasoning, and safety.

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

Shubham Toshniwal is a senior research scientist at Databricks Mosaic. His homepage and CV describe prior work at NVIDIA and FAIR, with research centered on synthetic data, reinforcement learning, agentic reasoning, and mathematical reasoning for language models.

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

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

George William Armstrong's OpenReview profile lists him as a researcher at NVIDIA following doctoral study in bioinformatics and systems biology at the University of California San Diego.

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.

Sadegh Mahdavi's homepage identifies him as a PhD candidate in Electrical and Computer Engineering at the University of British Columbia and a research intern at NVIDIA working on mathematical reasoning for Nemotron models. arXiv public sources also list him as a coauthor of Nemotron-Math.

Wei Du works on large language models and NLP in NVIDIA's NeMo team. Public sources describe him as a NeMo team researcher focused on LLM training, deployment, and mathematical reasoning, and note a Ph.D. in Computer Science from the University of Arkansas.

DeepSeek report author whose DBLP record includes DeepSeek LLM, DeepSeekMath, DeepSeek-Coder-V2, DeepSeek-V3, DeepSeek-R1, Janus, and JanusFlow work.

DeepSeek report author whose DBLP record includes DeepSeek LLM, DeepSeekMath, DeepSeek-Coder-V2, DeepSeek-V2, DeepSeek-V3, and DeepSeek-R1 work.

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

NVIDIA's public author page identifies Igor Gitman as an applied scientist focused on improving the mathematical reasoning abilities of large language models and as a maintainer of NeMo-Skills.

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 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 working on theorem proving and reinforcement learning.

A 2023 keynote bio describes Branislav Kisacanin as a scientist at Nvidia, Chief Scientist of the Institute for Artificial Intelligence Research and Development of Serbia, and a part-time professor at the University of Novi Sad, working on visual perception for autonomous driving.

An official NVIDIA blog post names Ivan Moshkov as part of the NVIDIA team that won the AI Mathematical Olympiad's AIMO-2 competition.

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

Daya Guo

Y. Wu

Runxin Xu

Shubham Toshniwal

Mingchuan Zhang

Renqi Xu

George Armstrong

Zhihong Shao

Sadegh Mahdavi

Wei Du

Junxiao Song

Peiyi Wang

Xinyu Zheng

Igor Gitman

Qihao Zhu

Chong Ruan

Zhiyuan Gou

Branislav Kisacanin

Ivan Moshkov

Bingxin Wang

Boxi Wu

Ruikang Yin

Zheren Fan