Dong Du

Dong Du has 3 papers in our library, in 2024–2026, most of them on Reasoning, Language models & pretraining; often with Ao Liu, Botong Zhou, Can Xu.

3 papers in our library · 2024–2026

The profile is the library's match of the name; two people with one name are not always told apart.

Fields, topics and concepts

Of its works in our library, with the number of works on each.

The most cited first (OpenAlex and our library).

HunyuanProver: A Scalable Data Synthesis Framework and Guided Tree Search for Automated Theorem Proving (2024 · 25 citations)
Formal theorem proving in LEAN4 remains difficult for language models. The search space is enormous, and there is little supervised data: mathlib4 provides only about 50k theorems with tactics. HunyuanProver addresses this by fine-tuning the Hunyuan 7B model with two components. The first is a low-cost, iterative…
Hunyuan-TurboS: Advancing Large Language Models through Mamba-Transformer Synergy and Adaptive Chain-of-Thought (2025 · 10 citations)
Hunyuan-TurboS tackles the tension between strong LLM quality and inference cost, especially for long inputs and reasoning-heavy requests.
Hunyuan-A13B Technical Report (2026 · 1 citation)
Serving frontier LLMs is costly because dense models use every weight for every token. Tencent's Hunyuan team addresses this with Hunyuan-A13B, an openly released sparse Mixture-of-Experts model. It has 80B parameters in total, but only about 13B are active per token: one always-on shared expert plus 8 of 64…

12 of 17 co-authors with a page, the most papers together first.

Papers of our library cite their works 36 times (of the 149,439 papers whose bibliographies we read); 8 citing papers with a page here →.

Updated 31 October 2026