--- title: "Albert Q. Jiang — papers" description: "Albert Q. Jiang: 3 papers in the Elamur Research library (2022–2023) — our summary of each, its ideas, references and who cites it." canonical: "https://research.elamur.ai/free/en/authors/albert-q-jiang/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/albert-q-jiang/) [home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / Albert Q. Jiang # Albert Q. Jiang 3 papers on this site (2022–2023) [OpenAlex](https://openalex.org/A5083358660) · h-index 9 · 30 works · 694 citations (openalex-snapshot, 2026-10-14) Profile data from OpenAlex; authors with the same name are not always told apart. - [Llemma: An Open Language Model For Mathematics](https://md.research.elamur.ai/free/en/papers/azerbayev-2023-llemma-open-language-model-mathematics/) — Zhangir Azerbayev, Hailey Schoelkopf, Keiran Paster, et al. · 2023 - [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