LLMpeople
Public Atlas People first, reports as evidence, organizations as context.

Atlas / People / Detail

Xiaodan Liang

Xiaodan Liang is a report-backed author in the LLMpeople atlas, connected through DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data.

Report-backed author connected to DeepSeek1 organizations1 reports

Profile status: updated

updated 1 public sources
report_author

Current frame

Report-backed author connected to DeepSeek

Work

DeepSeek Role not listed

Organizations

core DeepSeek

Reports

Reasoning and Math Models DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data

Supporting sources

DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data Supporting source · report · arXiv