Sean Welleck
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
34
Venues
8
Active years
2019–2026
Best venue rank
A*
Where they publish
Papers
34 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ACL | Scaling Evaluation-Time Compute with Reasoning Models as Evaluators. | Seungone Kim, Ian Wu, Jinu Lee, Xiang Yue, Seongyun Lee, Minkyeong Moon, Carolin Lawrence, Kiril Gashteovski, Julia Hockenmaier, Graham Neubig, Sean Welleck |
| 2026 | ITP | LeanArchitect: Automating Blueprint Generation for Humans and AI. | Thomas Zhu, Pietro Monticone, Sean Welleck, Jeremy Avigad |
| 2025 | ACL | Evaluating Language Models as Synthetic Data Generators. | Seungone Kim, Juyoung Suk, Xiang Yue, Vijay Viswanathan, Seongyun Lee, Yizhong Wang, Kiril Gashteovski, Carolin Lawrence, Sean Welleck, Graham Neubig |
| 2025 | EMNLP | Agentic-R1: Distilled Dual-Strategy Reasoning. | Weihua Du, Pranjal Aggarwal, Sean Welleck, Yiming Yang |
| 2025 | EMNLP | Rewarding the Unlikely: Lifting GRPO Beyond Distribution Sharpening. | Andre Wang He, Daniel Fried, Sean Welleck |
| 2025 | ICLR | ImProver: Agent-Based Automated Proof Optimization. | Riyaz Ahuja, Jeremy Avigad, Prasad Tetali, Sean Welleck |
| 2025 | ICLR | miniCTX: Neural Theorem Proving with (Long-)Contexts. | Jiewen Hu, Thomas Zhu, Sean Welleck |
| 2025 | ICLR | Lean-STaR: Learning to Interleave Thinking and Proving. | Haohan Lin, Zhiqing Sun, Sean Welleck, Yiming Yang |
| 2025 | ICLR | Inference Scaling Laws: An Empirical Analysis of Compute-Optimal Inference for LLM Problem-Solving. | Yangzhen Wu, Zhiqing Sun, Shanda Li, Sean Welleck, Yiming Yang |
| 2025 | ICML | AlphaVerus: Bootstrapping Formally Verified Code Generation through Self-Improving Translation and Treefinement. | Pranjal Aggarwal, Bryan Parno, Sean Welleck |
| 2025 | ICML | Optimizing Temperature for Language Models with Multi-Sample Inference. | Weihua Du, Yiming Yang, Sean Welleck |
| 2025 | NAACL | The BiGGen Bench: A Principled Benchmark for Fine-grained Evaluation of Language Models with Language Models. | Seungone Kim, Juyoung Suk, Ji Yong Cho, Shayne Longpre, Chaeeun Kim, Dongkeun Yoon, Guijin Son, Yejin Choi, Sheikh Shafayat, Jinheon Baek, Sue Hyun Park, Hyeonbin Hwang, Jinkyung Jo, Hyowon Cho, Haebin Shin, Seongyun Lee, Hanseok Oh, Noah Lee, Namgyu Ho, Se June Joo, Miyoung Ko, Yoonjoo Lee, Hyungjoo Chae, Jamin Shin, Joel Jang, Seonghyeon Ye, Bill Yuchen Lin, Sean Welleck, Graham Neubig, Moontae Lee, Kyungjae Lee, Minjoon Seo |
| 2024 | EMNLP | Prometheus 2: An Open Source Language Model Specialized in Evaluating Other Language Models. | Seungone Kim, Juyoung Suk, Shayne Longpre, Bill Yuchen Lin, Jamin Shin, Sean Welleck, Graham Neubig, Moontae Lee, Kyungjae Lee, Minjoon Seo |
| 2024 | ICLR | Llemma: An Open Language Model for Mathematics. | Zhangir Azerbayev, Hailey Schoelkopf, Keiran Paster, Marco Dos Santos, Stephen Marcus McAleer, Albert Q. Jiang, Jia Deng, Stella Biderman, Sean Welleck |
| 2023 | ACL | A Survey of Deep Learning for Mathematical Reasoning. | Pan Lu, Liang Qiu, Wenhao Yu, Sean Welleck, Kai-Wei Chang |
| 2023 | EMNLP | STEER: Unified Style Transfer with Expert Reinforcement. | Skyler Hallinan, Faeze Brahman, Ximing Lu, Jaehun Jung, Sean Welleck, Yejin Choi |
| 2023 | EMNLP | Inference-Time Policy Adapters (IPA): Tailoring Extreme-Scale LMs without Fine-tuning. | Ximing Lu, Faeze Brahman, Peter West, Jaehun Jung, Khyathi Raghavi Chandu, Abhilasha Ravichander, Prithviraj Ammanabrolu, Liwei Jiang, Sahana Ramnath, Nouha Dziri, Jillian Fisher, Bill Y. Lin, Skyler Hallinan, Lianhui Qin, Xiang Ren, Sean Welleck, Yejin Choi |
| 2023 | ICLR | Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs. | Albert Qiaochu Jiang, Sean Welleck, Jin Peng Zhou, Timothe Lacroix, Jiacheng Liu, Wenda Li, Mateja Jamnik, Guillaume Lample, Yuhuai Wu |
| 2023 | ICLR | Generating Sequences by Learning to Self-Correct. | Sean Welleck, Ximing Lu, Peter West, Faeze Brahman, Tianxiao Shen, Daniel Khashabi, Yejin Choi |
| 2022 | AAAI | Symbolic Brittleness in Sequence Models: On Systematic Generalization in Symbolic Mathematics. | Sean Welleck, Peter West, Jize Cao, Yejin Choi |
| 2022 | ACL | Generated Knowledge Prompting for Commonsense Reasoning. | Jiacheng Liu, Alisa Liu, Ximing Lu, Sean Welleck, Peter West, Ronan Le Bras, Yejin Choi, Hannaneh Hajishirzi |
| 2022 | EMNLP | Rainier: Reinforced Knowledge Introspector for Commonsense Question Answering. | Jiacheng Liu, Skyler Hallinan, Ximing Lu, Pengfei He, Sean Welleck, Hannaneh Hajishirzi, Yejin Choi |
| 2022 | EMNLP | Maieutic Prompting: Logically Consistent Reasoning with Recursive Explanations. | Jaehun Jung, Lianhui Qin, Sean Welleck, Faeze Brahman, Chandra Bhagavatula, Ronan Le Bras, Yejin Choi |
| 2022 | EMNLP | LILA: A Unified Benchmark for Mathematical Reasoning. | Swaroop Mishra, Matthew Finlayson, Pan Lu, Leonard Tang, Sean Welleck, Chitta Baral, Tanmay Rajpurohit, Oyvind Tafjord, Ashish Sabharwal, Peter Clark, Ashwin Kalyan |
| 2022 | NAACL | Prompt Waywardness: The Curious Case of Discretized Interpretation of Continuous Prompts. | Daniel Khashabi, Xinxi Lyu, Sewon Min, Lianhui Qin, Kyle Richardson, Sean Welleck, Hannaneh Hajishirzi, Tushar Khot, Ashish Sabharwal, Sameer Singh, Yejin Choi |
| 2022 | NAACL | NeuroLogic A*esque Decoding: Constrained Text Generation with Lookahead Heuristics. | Ximing Lu, Sean Welleck, Peter West, Liwei Jiang, Jungo Kasai, Daniel Khashabi, Ronan Le Bras, Lianhui Qin, Youngjae Yu, Rowan Zellers, Noah A. Smith, Yejin Choi |
| 2022 | NAACL | Symbolic Knowledge Distillation: from General Language Models to Commonsense Models. | Peter West, Chandra Bhagavatula, Jack Hessel, Jena D. Hwang, Liwei Jiang, Ronan Le Bras, Ximing Lu, Sean Welleck, Yejin Choi |
| 2021 | AAAI | MLE-Guided Parameter Search for Task Loss Minimization in Neural Sequence Modeling. | Sean Welleck, Kyunghyun Cho |
| 2020 | ACL | Don't Say That! Making Inconsistent Dialogue Unlikely with Unlikelihood Training. | Margaret Li, Stephen Roller, Ilia Kulikov, Sean Welleck, Y-Lan Boureau, Kyunghyun Cho, Jason Weston |
| 2020 | EMNLP | Consistency of a Recurrent Language Model With Respect to Incomplete Decoding. | Sean Welleck, Ilia Kulikov, Jaedeok Kim, Richard Yuanzhe Pang, Kyunghyun Cho |
| 2020 | ICLR | Neural Text Generation With Unlikelihood Training. | Sean Welleck, Ilia Kulikov, Stephen Roller, Emily Dinan, Kyunghyun Cho, Jason Weston |
| 2019 | ACL | Dialogue Natural Language Inference. | Sean Welleck, Jason Weston, Arthur Szlam, Kyunghyun Cho |
| 2019 | ICML | Non-Monotonic Sequential Text Generation. | Sean Welleck, Kiant Brantley, Hal Daum III, Kyunghyun Cho |
| 2019 | RANLP | Sequential Graph Dependency Parser. | Sean Welleck, Kyunghyun Cho |