--- title: "Sean Welleck — papers" description: "Sean Welleck: 16 papers in the Elamur Research library (2019–2025) — our summary of each, its ideas, references and who cites it." canonical: "https://research.elamur.ai/free/en/authors/sean-welleck/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/sean-welleck/) [home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / Sean Welleck # Sean Welleck 16 papers on this site (2019–2025) [OpenAlex](https://openalex.org/A5019030424) · [ORCID](https://orcid.org/0009-0003-1744-0096) · h-index 22 · 93 works · 2537 citations (openalex-snapshot, 2026-10-14) Profile data from OpenAlex; authors with the same name are not always told apart. - [L1: Controlling How Long A Reasoning Model Thinks With Reinforcement Learning](https://md.research.elamur.ai/free/en/papers/aggarwal-2025-l1-controlling-long-reasoning-model/) — Pranjal Aggarwal, Sean Welleck · 2025 - [Inference Scaling Laws: An Empirical Analysis of Compute-Optimal Inference for Problem-Solving with Language Models](https://md.research.elamur.ai/free/en/papers/wu-2024-inference-scaling-laws-empirical-analysis/) — Yangzhen Wu, Zhiqing Sun, Shanda Li, et al. · 2024 - [Prometheus 2: An Open Source Language Model Specialized in Evaluating Other Language Models](https://md.research.elamur.ai/free/en/papers/kim-2024-prometheus-2-open-source-language/) — Seungone Kim, Juyoung Suk, Shayne Longpre, et al. · 2024 - [Faith and Fate: Limits of Transformers on Compositionality](https://md.research.elamur.ai/free/en/papers/dziri-2023-faith-fate-limits-transformers-compositionality/) — Nouha Dziri, Ximing Lu, Melanie Sclar, et al. · 2023 - [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 - [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 - [Generating Sequences by Learning to Self-Correct](https://md.research.elamur.ai/free/en/papers/welleck-2022-generating-sequences-learning-self-correct/) — Sean Welleck, Ximing Lu, Peter West, et al. · 2022 - [LILA: A Unified Benchmark for Mathematical Reasoning](https://md.research.elamur.ai/free/en/papers/mishra-2022-lila-unified-benchmark-mathematical-reasoning/) — Swaroop Mishra, Matthew Finlayson, Pan Lu, et al. · 2022 - [Maieutic Prompting: Logically Consistent Reasoning with Recursive Explanations](https://md.research.elamur.ai/free/en/papers/jung-2022-maieutic-prompting-logically-consistent-reasoning/) — Jaehun Jung, Lianhui Qin, Sean Welleck, et al. · 2022 - [NeuroLogic A*esque Decoding: Constrained Text Generation with Lookahead Heuristics](https://md.research.elamur.ai/free/en/papers/lu-2022-neurologic-esque-decoding-constrained-text/) — Ximing Lu, Sean Welleck, Peter West, et al. · 2022 - [Quark: Controllable Text Generation with Reinforced Unlearning](https://md.research.elamur.ai/free/en/papers/lu-2022-quark-controllable-text-generation-reinforced/) — Ximing Lu, Sean Welleck, Jack Hessel, et al. · 2022 - [Symbolic Knowledge Distillation: from General Language Models to Commonsense Models](https://md.research.elamur.ai/free/en/papers/west-2022-symbolic-knowledge-distillation-general-language/) — Peter West, Chandra Bhagavatula, Jack Hessel, et al. · 2022 - [MAUVE: Measuring the Gap Between Neural Text and Human Text using Divergence Frontiers](https://md.research.elamur.ai/free/en/papers/pillutla-2021-mauve-measuring-gap-between-neural/) — Krishna Pillutla, Swabha Swayamdipta, Rowan Zellers, et al. · 2021 - [Don't Say That! Making Inconsistent Dialogue Unlikely with Unlikelihood Training](https://md.research.elamur.ai/free/en/papers/li-2020-don-t-say-that-making/) — Margaret Li, Stephen Roller, Ilia Kulikov, et al. · 2020 - [Dialogue Natural Language Inference](https://md.research.elamur.ai/free/en/papers/welleck-2019-dialogue-natural-language-inference/) — Sean Welleck, Jason Weston, Arthur Szlam, et al. · 2019 - [Neural Text Generation with Unlikelihood Training](https://md.research.elamur.ai/free/en/papers/welleck-2019-neural-text-generation-unlikelihood-training/) — Sean Welleck, Ilia Kulikov, Stephen Roller, et al. · 2019