🧑🔬 Xiaodan Liang3 papers on this site (2017–2024)OpenAlex · ORCID · h-index 79 · 423 works · 23329 citations (openalex-snapshot, 2026-10-14)Profile data from OpenAlex; authors with the same name are not always told apart.DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic DataHuajian Xin, Daya Guo, Zhihong Shao, et al.2024Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic ReasoningPan Lu, Ran Gong, Shibiao Jiang, et al.2021Toward Controlled Generation of TextZhiting Hu, Zichao Yang, Xiaodan Liang, et al.2017This page in Markdown → https://md.research.elamur.ai/free/en/authors/xiaodan-liang/