Haocheng Wang
Source-listed: PhD student (HKUST(GZ)); Visiting Researcher / Scientific Assistant I (ETH Zürich) · The Hong Kong University of Science and Technology (Guangzhou); ETH Zürich
Record snapshot: Sep 3, 2026. Coverage and affiliations may be incomplete or historical.
Selected work
5- FormalRx: Rectify and eXamine Semantic Failures in AutoformalizationSaved credit: First author · 2026Explore people connected to this work →
- DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal DecompositionSaved credit: Contributor · 2025Explore people connected to this work →
- DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree SearchSaved credit: Contributor · 2024Explore people connected to this work →
- DeepSeek-V3 Technical ReportSaved credit: Contributor · 2024Explore people connected to this work →
- Solving Formal Math Problems by Decomposition and Iterative ReflectionSaved credit: Contributor · 2025Explore people connected to this work →