---
title: "Wenda Li — papers"
description: "Wenda Li: 3 papers in the Elamur Research library (2022–2024) — our summary of each, its ideas, references and who cites it."
canonical: "https://research.elamur.ai/free/en/authors/wenda-li/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/wenda-li/)

[home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / Wenda Li

# Wenda Li

3 papers on this site (2022–2024)

- [DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data](https://md.research.elamur.ai/free/en/papers/xin-2024-deepseek-prover-advancing-theorem-proving/) — Huajian Xin, Daya Guo, Zhihong Shao, et al. · 2024
- [Autoformalization with Large Language Models](https://md.research.elamur.ai/free/en/papers/wu-2022-autoformalization-large-language-models/) — Yuhuai Wu, Albert Q. Jiang, Wenda Li, et al. · 2022
- [Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs](https://md.research.elamur.ai/free/en/papers/jiang-2022-draft-sketch-prove-guiding-formal/) — Albert Q. Jiang, Sean Welleck, Jin Peng Zhou, et al. · 2022