Sean Welleck

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 72

Top Topics

Symbolic Knowledge

Generative Model

Top Venues

Publications

Seungone Kim, Juyoung Suk, Shayne Longpre, Bill Yuchen Lin, Jamin Shin, Sean Welleck, Graham Neubig, Moontae Lee, Kyungjae Lee, Minjoon Seo
Prometheus 2: An Open Source Language Model Specialized in Evaluating Other Language Models. CoRR (2024)
Zhiqing Sun, Longhui Yu, Yikang Shen, Weiyang Liu, Yiming Yang, Sean Welleck, Chuang Gan
Easy-to-Hard Generalization: Scalable Alignment Beyond Human Supervision. CoRR (2024)
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
The BiGGen Bench: A Principled Benchmark for Fine-grained Evaluation of Language Models with Language Models. CoRR (2024)
Zhangir Azerbayev, Hailey Schoelkopf, Keiran Paster, Marco Dos Santos, Stephen Marcus McAleer, Albert Q. Jiang, Jia Deng, Stella Biderman, Sean Welleck
Llemma: An Open Language Model for Mathematics. ICLR (2024)
Sean Welleck, Amanda Bertsch, Matthew Finlayson, Hailey Schoelkopf, Alex Xie, Graham Neubig, Ilia Kulikov, Zaïd Harchaoui
From Decoding to Meta-Generation: Inference-time Algorithms for Large Language Models. CoRR (2024)
Haohan Lin, Zhiqing Sun, Yiming Yang, Sean Welleck
Lean-STaR: Learning to Interleave Thinking and Proving. CoRR (2024)
Evan Lohn, Sean Welleck
miniCodeProps: a Minimal Benchmark for Proving Code Properties. CoRR (2024)
Skyler Hallinan, Faeze Brahman, Ximing Lu, Jaehun Jung, Sean Welleck, Yejin Choi
STEER: Unified Style Transfer with Expert Reinforcement. CoRR (2023)
Ximing Lu, Faeze Brahman, Peter West, Jaehun Jung, Khyathi Chandu, Abhilasha Ravichander, Lianhui Qin, Prithviraj Ammanabrolu, Liwei Jiang, Sahana Ramnath, Nouha Dziri, Jillian Fisher, Bill Yuchen Lin, Skyler Hallinan, Xiang Ren, Sean Welleck, Yejin Choi
Inference-Time Policy Adapters (IPA): Tailoring Extreme-Scale LMs without Fine-tuning. CoRR (2023)
Nouha Dziri, Ximing Lu, Melanie Sclar, Xiang Lorraine Li, Liwei Jiang, Bill Yuchen Lin, Sean Welleck, Peter West, Chandra Bhagavatula, Ronan Le Bras, Jena D. Hwang, Soumya Sanyal, Xiang Ren, Allyson Ettinger, Zaïd Harchaoui, Yejin Choi
Faith and Fate: Limits of Transformers on Compositionality. NeurIPS (2023)
Sean Welleck, Rahul Saha
LLMSTEP: LLM proofstep suggestions in Lean. CoRR (2023)
Aman Madaan, Niket Tandon, Prakhar Gupta, Skyler Hallinan, Luyu Gao, Sarah Wiegreffe, Uri Alon, Nouha Dziri, Shrimai Prabhumoye, Yiming Yang, Shashank Gupta, Bodhisattwa Prasad Majumder, Katherine Hermann, Sean Welleck, Amir Yazdanbakhsh, Peter Clark
Self-Refine: Iterative Refinement with Self-Feedback. NeurIPS (2023)
Sean Welleck, Ximing Lu, Peter West, Faeze Brahman, Tianxiao Shen, Daniel Khashabi, Yejin Choi
Generating Sequences by Learning to Self-Correct. ICLR (2023)
Pan Lu, Liang Qiu, Wenhao Yu, Sean Welleck, Kai-Wei Chang
A Survey of Deep Learning for Mathematical Reasoning. ACL (1) (2023)
Ximing Lu, Faeze Brahman, Peter West, Jaehun Jung, Khyathi Chandu, Abhilasha Ravichander, Prithviraj Ammanabrolu, Liwei Jiang, Sahana Ramnath, Nouha Dziri, Jillian Fisher, Bill Lin, Skyler Hallinan, Lianhui Qin, Xiang Ren, Sean Welleck, Yejin Choi
Inference-Time Policy Adapters (IPA): Tailoring Extreme-Scale LMs without Fine-tuning. EMNLP (2023)
Aman Madaan, Niket Tandon, Prakhar Gupta, Skyler Hallinan, Luyu Gao, Sarah Wiegreffe, Uri Alon, Nouha Dziri, Shrimai Prabhumoye, Yiming Yang, Sean Welleck, Bodhisattwa Prasad Majumder, Shashank Gupta, Amir Yazdanbakhsh, Peter Clark
Self-Refine: Iterative Refinement with Self-Feedback. CoRR (2023)
Nouha Dziri, Ximing Lu, Melanie Sclar, Xiang Lorraine Li, Liwei Jiang, Bill Yuchen Lin, Peter West, Chandra Bhagavatula, Ronan Le Bras, Jena D. Hwang, Soumya Sanyal, Sean Welleck, Xiang Ren, Allyson Ettinger, Zaïd Harchaoui, Yejin Choi
Faith and Fate: Limits of Transformers on Compositionality. CoRR (2023)
Zhangir Azerbayev, Hailey Schoelkopf, Keiran Paster, Marco Dos Santos, Stephen McAleer, Albert Q. Jiang, Jia Deng, Stella Biderman, Sean Welleck
Llemma: An Open Language Model For Mathematics. CoRR (2023)
Skyler Hallinan, Faeze Brahman, Ximing Lu, Jaehun Jung, Sean Welleck, Yejin Choi
STEER: Unified Style Transfer with Expert Reinforcement. EMNLP (Findings) (2023)
Albert Qiaochu Jiang, Sean Welleck, Jin Peng Zhou, Timothée Lacroix, Jiacheng Liu, Wenda Li, Mateja Jamnik, Guillaume Lample, Yuhuai Wu
Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs. ICLR (2023)
Ximing Lu, Sean Welleck, Jack Hessel, Liwei Jiang, Lianhui Qin, Peter West, Prithviraj Ammanabrolu, Yejin Choi
QUARK: Controllable Text Generation with Reinforced Unlearning. NeurIPS (2022)
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
NeuroLogic A*esque Decoding: Constrained Text Generation with Lookahead Heuristics. NAACL-HLT (2022)
Jiacheng Liu, Skyler Hallinan, Ximing Lu, Pengfei He, Sean Welleck, Hannaneh Hajishirzi, Yejin Choi
Rainier: Reinforced Knowledge Introspector for Commonsense Question Answering. CoRR (2022)
Jiacheng Liu, Skyler Hallinan, Ximing Lu, Pengfei He, Sean Welleck, Hannaneh Hajishirzi, Yejin Choi
Rainier: Reinforced Knowledge Introspector for Commonsense Question Answering. EMNLP (2022)
Jaehun Jung, Lianhui Qin, Sean Welleck, Faeze Brahman, Chandra Bhagavatula, Ronan Le Bras, Yejin Choi
Maieutic Prompting: Logically Consistent Reasoning with Recursive Explanations. EMNLP (2022)
Lianhui Qin, Sean Welleck, Daniel Khashabi, Yejin Choi
COLD Decoding: Energy-based Constrained Text Generation with Langevin Dynamics. NeurIPS (2022)
Krishna Pillutla, Lang Liu, John Thickstun, Sean Welleck, Swabha Swayamdipta, Rowan Zellers, Sewoong Oh, Yejin Choi, Zaïd Harchaoui
MAUVE Scores for Generative Models: Theory and Practice. CoRR (2022)
Swaroop Mishra, Matthew Finlayson, Pan Lu, Leonard Tang, Sean Welleck, Chitta Baral, Tanmay Rajpurohit, Oyvind Tafjord, Ashish Sabharwal, Peter Clark, Ashwin Kalyan
LILA: A Unified Benchmark for Mathematical Reasoning. EMNLP (2022)
Sean Welleck, Jiacheng Liu, Ximing Lu, Hannaneh Hajishirzi, Yejin Choi
NaturalProver: Grounded Mathematical Proof Generation with Language Models. CoRR (2022)
Sean Welleck, Jiacheng Liu, Ximing Lu, Hannaneh Hajishirzi, Yejin Choi
NaturalProver: Grounded Mathematical Proof Generation with Language Models. NeurIPS (2022)
Jaehun Jung, Lianhui Qin, Sean Welleck, Faeze Brahman, Chandra Bhagavatula, Ronan Le Bras, Yejin Choi
Maieutic Prompting: Logically Consistent Reasoning with Recursive Explanations. CoRR (2022)
Sean Welleck, Peter West, Jize Cao, Yejin Choi
Symbolic Brittleness in Sequence Models: On Systematic Generalization in Symbolic Mathematics. AAAI (2022)
Daniel Khashabi, Xinxi Lyu, Sewon Min, Lianhui Qin, Kyle Richardson, Sean Welleck, Hannaneh Hajishirzi, Tushar Khot, Ashish Sabharwal, Sameer Singh, Yejin Choi
Prompt Waywardness: The Curious Case of Discretized Interpretation of Continuous Prompts. NAACL-HLT (2022)
Sean Welleck, Ximing Lu, Peter West, Faeze Brahman, Tianxiao Shen, Daniel Khashabi, Yejin Choi
Generating Sequences by Learning to Self-Correct. CoRR (2022)
Pan Lu, Liang Qiu, Wenhao Yu, Sean Welleck, Kai-Wei Chang
A Survey of Deep Learning for Mathematical Reasoning. CoRR (2022)
Albert Q. Jiang, Sean Welleck, Jin Peng Zhou, Wenda Li, Jiacheng Liu, Mateja Jamnik, Timothée Lacroix, Yuhuai Wu, Guillaume Lample
Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs. CoRR (2022)
Ximing Lu, Sean Welleck, Liwei Jiang, Jack Hessel, Lianhui Qin, Peter West, Prithviraj Ammanabrolu, Yejin Choi
Quark: Controllable Text Generation with Reinforced Unlearning. CoRR (2022)
Jiacheng Liu, Alisa Liu, Ximing Lu, Sean Welleck, Peter West, Ronan Le Bras, Yejin Choi, Hannaneh Hajishirzi
Generated Knowledge Prompting for Commonsense Reasoning. ACL (1) (2022)
Lianhui Qin, Sean Welleck, Daniel Khashabi, Yejin Choi
COLD Decoding: Energy-based Constrained Text Generation with Langevin Dynamics. CoRR (2022)
Swaroop Mishra, Matthew Finlayson, Pan Lu, Leonard Tang, Sean Welleck, Chitta Baral, Tanmay Rajpurohit, Oyvind Tafjord, Ashish Sabharwal, Peter Clark, Ashwin Kalyan
Lila: A Unified Benchmark for Mathematical Reasoning. CoRR (2022)
Peter West, Chandra Bhagavatula, Jack Hessel, Jena D. Hwang, Liwei Jiang, Ronan Le Bras, Ximing Lu, Sean Welleck, Yejin Choi
Symbolic Knowledge Distillation: from General Language Models to Commonsense Models. NAACL-HLT (2022)
Daniel Khashabi, Shane Lyu, Sewon Min, Lianhui Qin, Kyle Richardson, Sameer Singh, Sean Welleck, Hannaneh Hajishirzi, Tushar Khot, Ashish Sabharwal, Yejin Choi
PROMPT WAYWARDNESS: The Curious Case of Discretized Interpretation of Continuous Prompts. CoRR (2021)
Jiacheng Liu, Alisa Liu, Ximing Lu, Sean Welleck, Peter West, Ronan Le Bras, Yejin Choi, Hannaneh Hajishirzi
Generated Knowledge Prompting for Commonsense Reasoning. CoRR (2021)
Ilia Kulikov, Sean Welleck, Kyunghyun Cho
Mode recovery in neural autoregressive sequence modeling. CoRR (2021)
Ilia Kulikov, Sean Welleck, Kyunghyun Cho
Mode recovery in neural autoregressive sequence modeling. SPNLP@ACL-IJCNLP (2021)
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
NeuroLogic A*esque Decoding: Constrained Text Generation with Lookahead Heuristics. CoRR (2021)
Krishna Pillutla, Swabha Swayamdipta, Rowan Zellers, John Thickstun, Sean Welleck, Yejin Choi, Zaïd Harchaoui
MAUVE: Measuring the Gap Between Neural Text and Human Text using Divergence Frontiers. NeurIPS (2021)
Sean Welleck, Jiacheng Liu, Ronan Le Bras, Hannaneh Hajishirzi, Yejin Choi, Kyunghyun Cho
NaturalProofs: Mathematical Theorem Proving in Natural Language. CoRR (2021)
Sean Welleck, Jiacheng Liu, Ronan Le Bras, Hanna Hajishirzi, Yejin Choi, Kyunghyun Cho
NaturalProofs: Mathematical Theorem Proving in Natural Language. NeurIPS Datasets and Benchmarks (2021)
Sean Welleck, Kyunghyun Cho
MLE-Guided Parameter Search for Task Loss Minimization in Neural Sequence Modeling. AAAI (2021)
Sean Welleck, Peter West, Jize Cao, Yejin Choi
Symbolic Brittleness in Sequence Models: on Systematic Generalization in Symbolic Mathematics. CoRR (2021)
Lang Liu, Krishna Pillutla, Sean Welleck, Sewoong Oh, Yejin Choi, Zaïd Harchaoui
Divergence Frontiers for Generative Models: Sample Complexity, Quantization Effects, and Frontier Integrals. NeurIPS (2021)
Lang Liu, Krishna Pillutla, Sean Welleck, Sewoong Oh, Yejin Choi, Zaïd Harchaoui
Divergence Frontiers for Generative Models: Sample Complexity, Quantization Level, and Frontier Integral. CoRR (2021)
Peter West, Chandra Bhagavatula, Jack Hessel, Jena D. Hwang, Liwei Jiang, Ronan Le Bras, Ximing Lu, Sean Welleck, Yejin Choi
Symbolic Knowledge Distillation: from General Language Models to Commonsense Models. CoRR (2021)
Sean Welleck, Ilia Kulikov, Jaedeok Kim, Richard Yuanzhe Pang, Kyunghyun Cho
Consistency of a Recurrent Language Model With Respect to Incomplete Decoding. CoRR (2020)
Sean Welleck, Ilia Kulikov, Stephen Roller, Emily Dinan, Kyunghyun Cho, Jason Weston
Neural Text Generation With Unlikelihood Training. ICLR (2020)
Margaret Li, Stephen Roller, Ilia Kulikov, Sean Welleck, Y-Lan Boureau, Kyunghyun Cho, Jason Weston
Don't Say That! Making Inconsistent Dialogue Unlikely with Unlikelihood Training. ACL (2020)
Sean Welleck, Ilia Kulikov, Jaedeok Kim, Richard Yuanzhe Pang, Kyunghyun Cho
Consistency of a Recurrent Language Model With Respect to Incomplete Decoding. EMNLP (1) (2020)
Sean Welleck, Kyunghyun Cho
MLE-guided parameter search for task loss minimization in neural sequence modeling. CoRR (2020)
Kianté Brantley, Kyunghyun Cho, Hal Daumé III, Sean Welleck
Non-Monotonic Sequential Text Generation. WNLP@ACL (2019)
Margaret Li, Stephen Roller, Ilia Kulikov, Sean Welleck, Y-Lan Boureau, Kyunghyun Cho, Jason Weston
Don't Say That! Making Inconsistent Dialogue Unlikely with Unlikelihood Training. CoRR (2019)
Sean Welleck, Ilia Kulikov, Stephen Roller, Emily Dinan, Kyunghyun Cho, Jason Weston
Neural Text Generation with Unlikelihood Training. CoRR (2019)
Sean Welleck, Jason Weston, Arthur Szlam, Kyunghyun Cho
Dialogue Natural Language Inference. ACL (1) (2019)
Sean Welleck, Kianté Brantley, Hal Daumé III, Kyunghyun Cho
Non-Monotonic Sequential Text Generation. CoRR (2019)
Sean Welleck, Kyunghyun Cho
Sequential Graph Dependency Parser. CoRR (2019)
Sean Welleck, Kianté Brantley, Hal Daumé III, Kyunghyun Cho
Non-Monotonic Sequential Text Generation. ICML (2019)
Sean Welleck, Kyunghyun Cho
Sequential Graph Dependency Parser. RANLP (2019)
Sean Welleck, Jason Weston, Arthur Szlam, Kyunghyun Cho
Dialogue Natural Language Inference. CoRR (2018)
Sean Welleck, Zixin Yao, Yu Gai, Jialin Mao, Zheng Zhang, Kyunghyun Cho
Loss Functions for Multiset Prediction. NeurIPS (2018)
Sean Welleck, Jialin Mao, Kyunghyun Cho, Zheng Zhang
Saliency-based Sequential Image Attention with Multiset Prediction. NIPS (2017)
Sean Welleck, Zixin Yao, Yu Gai, Jialin Mao, Zheng Zhang, Kyunghyun Cho
Loss Functions for Multiset Prediction. CoRR (2017)
Sean Welleck, Jialin Mao, Kyunghyun Cho, Zheng Zhang
Saliency-based Sequential Image Attention with Multiset Prediction. CoRR (2017)