---
title: "Sean Welleck — papers of 2022 — 9 papers, the most cited first"
description: "Sean Welleck — papers of 2022: 9 papers on Elamur Research, the most cited first — what each work is about in our own words."
canonical: "https://research.elamur.ai/free/en/authors/sean-welleck/year/2022/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/sean-welleck/year/2022/)

[home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / [Sean Welleck](https://md.research.elamur.ai/free/en/authors/sean-welleck/) / 2022

# Sean Welleck — papers of 2022 — 9 papers, the most cited first

9 papers · [all years of Sean Welleck](https://md.research.elamur.ai/free/en/authors/sean-welleck/#years)

**[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/) [Conference of the North American Chapter of the Association for Computational Linguistics (NAACL)](https://md.research.elamur.ai/free/en/venues/naacl/)**Peter West, Chandra Bhagavatula, Jack Hessel, et al.*2022 · 349 citations*

**[Maieutic Prompting: Logically Consistent Reasoning with Recursive Explanations](https://md.research.elamur.ai/free/en/papers/jung-2022-maieutic-prompting-logically-consistent-reasoning/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Jaehun Jung, Lianhui Qin, Sean Welleck, et al.*2022 · 219 citations*

**[LILA: A Unified Benchmark for Mathematical Reasoning](https://md.research.elamur.ai/free/en/papers/mishra-2022-lila-unified-benchmark-mathematical-reasoning/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Swaroop Mishra, Matthew Finlayson, Pan Lu, et al.*2022 · 179 citations*

- [Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs arXiv:2210.12283](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 · 178 citations
- [Generating Sequences by Learning to Self-Correct arXiv:2211.00053](https://md.research.elamur.ai/free/en/papers/welleck-2022-generating-sequences-learning-self-correct/) — Sean Welleck, Ximing Lu, Peter West, et al. · 2022 · 172 citations

**[Quark: Controllable Text Generation with Reinforced Unlearning](https://md.research.elamur.ai/free/en/papers/lu-2022-quark-controllable-text-generation-reinforced/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Ximing Lu, Sean Welleck, Jack Hessel, et al.*2022 · 170 citations*

**[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/) [Conference of the North American Chapter of the Association for Computational Linguistics (NAACL)](https://md.research.elamur.ai/free/en/venues/naacl/)**Ximing Lu, Sean Welleck, Peter West, et al.*2022 · 140 citations*

**[Rainier: Reinforced Knowledge Introspector for Commonsense Question Answering](https://md.research.elamur.ai/free/en/papers/liu-2022-rainier-reinforced-knowledge-introspector-commonsense/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Jiacheng Liu, Skyler Hallinan, Ximing Lu, et al.*2022 · 82 citations*

**[NaturalProver: Grounded Mathematical Proof Generation with Language Models](https://md.research.elamur.ai/free/en/papers/welleck-2022-naturalprover-grounded-mathematical-proof-generation/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Sean Welleck, Jiacheng Liu, Ximing Lu, et al.*2022 · 62 citations*