Weikang Wang

Weikang Wang has 2 papers in our library, in 2024–2026, most of them on Language models & pretraining, Reasoning, Bias, fairness & safety; often with Chen Li, Dong Du, Dong Yu.

2 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…
SPAGBias: Uncovering and Tracing Structured Spatial Gender Bias in Large Language Models (2026)
LLMs are increasingly used in urban planning and other spatial tasks. Feminist geography holds that everyday places carry gendered meanings, so these models may reproduce or amplify that hierarchy. The authors present SPAGBias, described as the first systematic approach to quantifying how LLMs associate gender with…

9 co-authors with a page, the most papers together first.

Where their works here were published, the most works first, with the editions of those that have a page.

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

Updated 1 November 2026