Sean Welleck

112 papers A* 30Misc 1Journal 66Unranked 14
YearRankTypeTitle / Venue / Authors
2026 J jnl
Argument Reconstruction as Supervision for Critical Thinking in LLMs.
CoRR
Hyun Ryu, Gyouk Chu, Gregor Betz, Eunho Yang, Carolyn Rose, Sean Welleck
2026 J jnl
DSLean: A Framework for Type-Correct Interoperability Between Lean 4 and External DSLs.
CoRR
Tate Rowney, Riyaz Ahuja, Jeremy Avigad, Sean Welleck
2026 J jnl
GradAlign: Gradient-Aligned Data Selection for LLM Reinforcement Learning.
CoRR
Ningyuan Yang, Weihua Du, Weiwei Sun, Sean Welleck, Yiming Yang
2026 J jnl
LeanArchitect: Automating Blueprint Generation for Humans and AI.
CoRR
Thomas Zhu, Pietro Monticone, Jeremy Avigad, Sean Welleck
2026 J jnl
Mind the Sim2Real Gap in User Simulation for Agentic Tasks.
CoRR
Xuhui Zhou, Weiwei Sun, Qianou Ma, Yiqing Xie, Jiarui Liu, Weihua Du, Sean Welleck, Yiming Yang, Graham Neubig, Sherry Tongshuang Wu, Maarten Sap
2026 J jnl
Reasoning over mathematical objects: on-policy reward modeling and test time aggregation.
CoRR
Pranjal Aggarwal, Marjan Ghazvininejad, Seungone Kim, Ilia Kulikov, Jack Lanchantin, Xian Li, Tianjian Li, Bo Liu, Graham Neubig, Anaelia Ovalle, Swarnadeep Saha, Sainbayar Sukhbaatar, Sean Welleck, Jason Weston, Chenxi Whitehouse, Adina Williams, Jing Xu, Ping Yu, Weizhe Yuan, Jingyu Zhang, Wenting Zhao
2026 J jnl
Reasoning with Latent Tokens in Diffusion Language Models.
CoRR
Andre He, Sean Welleck, Daniel Fried
2025 A* conf
Agentic-R1: Distilled Dual-Strategy Reasoning.
EMNLP
Weihua Du, Pranjal Aggarwal, Sean Welleck, Yiming Yang
2025 J jnl
Agentic-R1: Distilled Dual-Strategy Reasoning.
CoRR
Weihua Du, Pranjal Aggarwal, Sean Welleck, Yiming Yang
2025 A* conf
AlphaVerus: Bootstrapping Formally Verified Code Generation through Self-Improving Translation and Treefinement.
ICML
Pranjal Aggarwal, Bryan Parno, Sean Welleck
2025 — conf
Evaluating Language Models as Synthetic Data Generators.
ACL (1)
Seungone Kim, Juyoung Suk, Xiang Yue, Vijay Viswanathan, Seongyun Lee, Yizhong Wang, Kiril Gashteovski, Carolin Lawrence, Sean Welleck, Graham Neubig
2025 A* conf
ImProver: Agent-Based Automated Proof Optimization.
ICLR
Riyaz Ahuja, Jeremy Avigad, Prasad Tetali, Sean Welleck
2025 A* conf
Inference Scaling Laws: An Empirical Analysis of Compute-Optimal Inference for LLM Problem-Solving.
ICLR
Yangzhen Wu, Zhiqing Sun, Shanda Li, Sean Welleck, Yiming Yang
2025 J jnl
L1: Controlling How Long A Reasoning Model Thinks With Reinforcement Learning.
CoRR
Pranjal Aggarwal, Sean Welleck
2025 A* conf
Lean-STaR: Learning to Interleave Thinking and Proving.
ICLR
Haohan Lin, Zhiqing Sun, Sean Welleck, Yiming Yang
2025 J jnl
OptimalThinkingBench: Evaluating Over and Underthinking in LLMs.
CoRR
Pranjal Aggarwal, Seungone Kim, Jack Lanchantin, Sean Welleck, Jason Weston, Ilia Kulikov, Swarnadeep Saha
2025 A* conf
Optimizing Temperature for Language Models with Multi-Sample Inference.
ICML
Weihua Du, Yiming Yang, Sean Welleck
2025 J jnl
Optimizing Temperature for Language Models with Multi-Sample Inference.
CoRR
Weihua Du, Yiming Yang, Sean Welleck
2025 J jnl
Premise Selection for a Lean Hammer.
CoRR
Thomas Zhu, Joshua Clune, Jeremy Avigad, Albert Qiaochu Jiang, Sean Welleck
2025 J jnl
Programming with Pixels: Computer-Use Meets Software Engineering.
CoRR
Pranjal Aggarwal, Sean Welleck
2025 J jnl
Propose, Solve, Verify: Self-Play Through Formal Verification.
CoRR
Alex Wilf, Pranjal Aggarwal, Bryan Parno, Daniel Fried, Louis-Philippe Morency, Paul Pu Liang, Sean Welleck
2025 J jnl
RefineBench: Evaluating Refinement Capability of Language Models via Checklists.
CoRR
Young-Jun Lee, Seungone Kim, Byung-Kwan Lee, Minkyeong Moon, Yechan Hwang, Jong Myoung Kim, Graham Neubig, Sean Welleck, Ho-Jin Choi
2025 A* conf
Rewarding the Unlikely: Lifting GRPO Beyond Distribution Sharpening.
EMNLP
Andre Wang He, Daniel Fried, Sean Welleck
2025 J jnl
Rewarding the Unlikely: Lifting GRPO Beyond Distribution Sharpening.
CoRR
Andre He, Daniel Fried, Sean Welleck
2025 J jnl
Scaling Evaluation-time Compute with Reasoning Models as Process Evaluators.
CoRR
Seungone Kim, Ian Wu, Jinu Lee, Xiang Yue, Seongyun Lee, Mingyeong Moon, Kiril Gashteovski, Carolin Lawrence, Julia Hockenmaier, Graham Neubig, Sean Welleck
2025 — conf
The BiGGen Bench: A Principled Benchmark for Fine-grained Evaluation of Language Models with Language Models.
NAACL (Long Papers)
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
2025 J jnl
The CoT Encyclopedia: Analyzing, Predicting, and Controlling how a Reasoning Model will Think.
CoRR
Seongyun Lee, Seungone Kim, Minju Seo, Yongrae Jo, Dongyoung Go, Hyeonbin Hwang, Jinho Park, Xiang Yue, Sean Welleck, Graham Neubig, Moontae Lee, Minjoon Seo
2025 J jnl
Training Proactive and Personalized LLM Agents.
CoRR
Weiwei Sun, Xuhui Zhou, Weihua Du, Xingyao Wang, Sean Welleck, Graham Neubig, Maarten Sap, Yiming Yang
2025 A* conf
miniCTX: Neural Theorem Proving with (Long-)Contexts.
ICLR
Jiewen Hu, Thomas Zhu, Sean Welleck
2024 J jnl
AlphaVerus: Bootstrapping Formally Verified Code Generation through Self-Improving Translation and Treefinement.
CoRR
Pranjal Aggarwal, Bryan Parno, Sean Welleck
2024 J jnl
An Empirical Analysis of Compute-Optimal Inference for Problem-Solving with Language Models.
CoRR
Yangzhen Wu, Zhiqing Sun, Shanda Li, Sean Welleck, Yiming Yang
2024 J jnl
Data for Mathematical Copilots: Better Ways of Presenting Proofs for Machine Learning.
CoRR
Simon Frieder, Jonas Bayer, Katherine M. Collins, Julius Berner, Jacob Loader, András Juhász, Fabian Ruehle, Sean Welleck, Gabriel Poesia, Ryan-Rhys Griffiths, Adrian Weller, Anirudh Goyal, Thomas Lukasiewicz, Timothy Gowers
2024 A* conf
Easy-to-Hard Generalization: Scalable Alignment Beyond Human Supervision.
NeurIPS
Zhiqing Sun, Longhui Yu, Yikang Shen, Weiyang Liu, Yiming Yang, Sean Welleck, Chuang Gan
2024 J jnl
Easy-to-Hard Generalization: Scalable Alignment Beyond Human Supervision.
CoRR
Zhiqing Sun, Longhui Yu, Yikang Shen, Weiyang Liu, Yiming Yang, Sean Welleck, Chuang Gan
2024 J jnl
Evaluating Language Models as Synthetic Data Generators.
CoRR
Seungone Kim, Juyoung Suk, Xiang Yue, Vijay Viswanathan, Seongyun Lee, Yizhong Wang, Kiril Gashteovski, Carolin Lawrence, Sean Welleck, Graham Neubig
2024 J jnl
From Decoding to Meta-Generation: Inference-time Algorithms for Large Language Models.
CoRR
Sean Welleck, Amanda Bertsch, Matthew Finlayson, Hailey Schoelkopf, Alex Xie, Graham Neubig, Ilia Kulikov, Zaïd Harchaoui
2024 J jnl
From Decoding to Meta-Generation: Inference-time Algorithms for Large Language Models.
Trans. Mach. Learn. Res.
Sean Welleck, Amanda Bertsch, Matthew Finlayson, Hailey Schoelkopf, Alex Xie, Graham Neubig, Ilia Kulikov, Zaïd Harchaoui
2024 J jnl
ImProver: Agent-Based Automated Proof Optimization.
CoRR
Riyaz Ahuja, Jeremy Avigad, Prasad Tetali, Sean Welleck
2024 J jnl
Lean-STaR: Learning to Interleave Thinking and Proving.
CoRR
Haohan Lin, Zhiqing Sun, Yiming Yang, Sean Welleck
2024 A* conf
Llemma: An Open Language Model for Mathematics.
ICLR
Zhangir Azerbayev, Hailey Schoelkopf, Keiran Paster, Marco Dos Santos, Stephen Marcus McAleer, Albert Q. Jiang, Jia Deng, Stella Biderman, Sean Welleck
2024 A* conf
Prometheus 2: An Open Source Language Model Specialized in Evaluating Other Language Models.
EMNLP
Seungone Kim, Juyoung Suk, Shayne Longpre, Bill Yuchen Lin, Jamin Shin, Sean Welleck, Graham Neubig, Moontae Lee, Kyungjae Lee, Minjoon Seo
2024 J jnl
Prometheus 2: An Open Source Language Model Specialized in Evaluating Other Language Models.
CoRR
Seungone Kim, Juyoung Suk, Shayne Longpre, Bill Yuchen Lin, Jamin Shin, Sean Welleck, Graham Neubig, Moontae Lee, Kyungjae Lee, Minjoon Seo
2024 J jnl
The BiGGen Bench: A Principled Benchmark for Fine-grained Evaluation of Language Models with Language Models.
CoRR
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 J jnl
miniCTX: Neural Theorem Proving with (Long-)Contexts.
CoRR
Jiewen Hu, Thomas Zhu, Sean Welleck
2024 J jnl
miniCodeProps: a Minimal Benchmark for Proving Code Properties.
CoRR
Evan Lohn, Sean Welleck
2023 — conf
A Survey of Deep Learning for Mathematical Reasoning.
ACL (1)
Pan Lu, Liang Qiu, Wenhao Yu, Sean Welleck, Kai-Wei Chang
2023 A* conf
Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs.
ICLR
Albert Qiaochu Jiang, Sean Welleck, Jin Peng Zhou, Timothée Lacroix, Jiacheng Liu, Wenda Li, Mateja Jamnik, Guillaume Lample, Yuhuai Wu
2023 A* conf
Faith and Fate: Limits of Transformers on Compositionality.
NeurIPS
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
2023 J jnl
Faith and Fate: Limits of Transformers on Compositionality.
CoRR
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
2023 A* conf
Generating Sequences by Learning to Self-Correct.
ICLR
Sean Welleck, Ximing Lu, Peter West, Faeze Brahman, Tianxiao Shen, Daniel Khashabi, Yejin Choi
2023 A* conf
Inference-Time Policy Adapters (IPA): Tailoring Extreme-Scale LMs without Fine-tuning.
EMNLP
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 J jnl
Inference-Time Policy Adapters (IPA): Tailoring Extreme-Scale LMs without Fine-tuning.
CoRR
Ximing Lu, Faeze Brahman, Peter West, Jaehun Jung, Khyathi Raghavi 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
2023 J jnl
LLMSTEP: LLM proofstep suggestions in Lean.
CoRR
Sean Welleck, Rahul Saha
2023 J jnl
Llemma: An Open Language Model For Mathematics.
CoRR
Zhangir Azerbayev, Hailey Schoelkopf, Keiran Paster, Marco Dos Santos, Stephen McAleer, Albert Q. Jiang, Jia Deng, Stella Biderman, Sean Welleck
2023 J jnl
MAUVE Scores for Generative Models: Theory and Practice.
J. Mach. Learn. Res.
Krishna Pillutla, Lang Liu, John Thickstun, Sean Welleck, Swabha Swayamdipta, Rowan Zellers, Sewoong Oh, Yejin Choi, Zaïd Harchaoui
2023 — conf
STEER: Unified Style Transfer with Expert Reinforcement.
EMNLP (Findings)
Skyler Hallinan, Faeze Brahman, Ximing Lu, Jaehun Jung, Sean Welleck, Yejin Choi
2023 J jnl
STEER: Unified Style Transfer with Expert Reinforcement.
CoRR
Skyler Hallinan, Faeze Brahman, Ximing Lu, Jaehun Jung, Sean Welleck, Yejin Choi
2023 A* conf
Self-Refine: Iterative Refinement with Self-Feedback.
NeurIPS
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
2023 J jnl
Self-Refine: Iterative Refinement with Self-Feedback.
CoRR
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
2022 J jnl
A Survey of Deep Learning for Mathematical Reasoning.
CoRR
Pan Lu, Liang Qiu, Wenhao Yu, Sean Welleck, Kai-Wei Chang
2022 A* conf
COLD Decoding: Energy-based Constrained Text Generation with Langevin Dynamics.
NeurIPS
Lianhui Qin, Sean Welleck, Daniel Khashabi, Yejin Choi
2022 J jnl
COLD Decoding: Energy-based Constrained Text Generation with Langevin Dynamics.
CoRR
Lianhui Qin, Sean Welleck, Daniel Khashabi, Yejin Choi
2022 J jnl
Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs.
CoRR
Albert Q. Jiang, Sean Welleck, Jin Peng Zhou, Wenda Li, Jiacheng Liu, Mateja Jamnik, Timothée Lacroix, Yuhuai Wu, Guillaume Lample
2022 — conf
Generated Knowledge Prompting for Commonsense Reasoning.
ACL (1)
Jiacheng Liu, Alisa Liu, Ximing Lu, Sean Welleck, Peter West, Ronan Le Bras, Yejin Choi, Hannaneh Hajishirzi
2022 J jnl
Generating Sequences by Learning to Self-Correct.
CoRR
Sean Welleck, Ximing Lu, Peter West, Faeze Brahman, Tianxiao Shen, Daniel Khashabi, Yejin Choi
2022 A* conf
LILA: A Unified Benchmark for Mathematical Reasoning.
EMNLP
Swaroop Mishra, Matthew Finlayson, Pan Lu, Leonard Tang, Sean Welleck, Chitta Baral, Tanmay Rajpurohit, Oyvind Tafjord, Ashish Sabharwal, Peter Clark, Ashwin Kalyan
2022 J jnl
Lila: A Unified Benchmark for Mathematical Reasoning.
CoRR
Swaroop Mishra, Matthew Finlayson, Pan Lu, Leonard Tang, Sean Welleck, Chitta Baral, Tanmay Rajpurohit, Oyvind Tafjord, Ashish Sabharwal, Peter Clark, Ashwin Kalyan
2022 J jnl
MAUVE Scores for Generative Models: Theory and Practice.
CoRR
Krishna Pillutla, Lang Liu, John Thickstun, Sean Welleck, Swabha Swayamdipta, Rowan Zellers, Sewoong Oh, Yejin Choi, Zaïd Harchaoui
2022 A* conf
Maieutic Prompting: Logically Consistent Reasoning with Recursive Explanations.
EMNLP
Jaehun Jung, Lianhui Qin, Sean Welleck, Faeze Brahman, Chandra Bhagavatula, Ronan Le Bras, Yejin Choi
2022 J jnl
Maieutic Prompting: Logically Consistent Reasoning with Recursive Explanations.
CoRR
Jaehun Jung, Lianhui Qin, Sean Welleck, Faeze Brahman, Chandra Bhagavatula, Ronan Le Bras, Yejin Choi
2022 A* conf
NaturalProver: Grounded Mathematical Proof Generation with Language Models.
NeurIPS
Sean Welleck, Jiacheng Liu, Ximing Lu, Hannaneh Hajishirzi, Yejin Choi
2022 J jnl
NaturalProver: Grounded Mathematical Proof Generation with Language Models.
CoRR
Sean Welleck, Jiacheng Liu, Ximing Lu, Hannaneh Hajishirzi, Yejin Choi
2022 — conf
NeuroLogic A*esque Decoding: Constrained Text Generation with Lookahead Heuristics.
NAACL-HLT
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 — conf
Prompt Waywardness: The Curious Case of Discretized Interpretation of Continuous Prompts.
NAACL-HLT
Daniel Khashabi, Xinxi Lyu, Sewon Min, Lianhui Qin, Kyle Richardson, Sean Welleck, Hannaneh Hajishirzi, Tushar Khot, Ashish Sabharwal, Sameer Singh, Yejin Choi
2022 A* conf
QUARK: Controllable Text Generation with Reinforced Unlearning.
NeurIPS
Ximing Lu, Sean Welleck, Jack Hessel, Liwei Jiang, Lianhui Qin, Peter West, Prithviraj Ammanabrolu, Yejin Choi
2022 J jnl
Quark: Controllable Text Generation with Reinforced Unlearning.
CoRR
Ximing Lu, Sean Welleck, Liwei Jiang, Jack Hessel, Lianhui Qin, Peter West, Prithviraj Ammanabrolu, Yejin Choi
2022 A* conf
Rainier: Reinforced Knowledge Introspector for Commonsense Question Answering.
EMNLP
Jiacheng Liu, Skyler Hallinan, Ximing Lu, Pengfei He, Sean Welleck, Hannaneh Hajishirzi, Yejin Choi
2022 J jnl
Rainier: Reinforced Knowledge Introspector for Commonsense Question Answering.
CoRR
Jiacheng Liu, Skyler Hallinan, Ximing Lu, Pengfei He, Sean Welleck, Hannaneh Hajishirzi, Yejin Choi
2022 A* conf
Symbolic Brittleness in Sequence Models: On Systematic Generalization in Symbolic Mathematics.
AAAI
Sean Welleck, Peter West, Jize Cao, Yejin Choi
2022 — conf
Symbolic Knowledge Distillation: from General Language Models to Commonsense Models.
NAACL-HLT
Peter West, Chandra Bhagavatula, Jack Hessel, Jena D. Hwang, Liwei Jiang, Ronan Le Bras, Ximing Lu, Sean Welleck, Yejin Choi
2021 A* conf
Divergence Frontiers for Generative Models: Sample Complexity, Quantization Effects, and Frontier Integrals.
NeurIPS
Lang Liu, Krishna Pillutla, Sean Welleck, Sewoong Oh, Yejin Choi, Zaïd Harchaoui
2021 J jnl
Divergence Frontiers for Generative Models: Sample Complexity, Quantization Level, and Frontier Integral.
CoRR
Lang Liu, Krishna Pillutla, Sean Welleck, Sewoong Oh, Yejin Choi, Zaïd Harchaoui
2021 J jnl
Generated Knowledge Prompting for Commonsense Reasoning.
CoRR
Jiacheng Liu, Alisa Liu, Ximing Lu, Sean Welleck, Peter West, Ronan Le Bras, Yejin Choi, Hannaneh Hajishirzi
2021 A* conf
MAUVE: Measuring the Gap Between Neural Text and Human Text using Divergence Frontiers.
NeurIPS
Krishna Pillutla, Swabha Swayamdipta, Rowan Zellers, John Thickstun, Sean Welleck, Yejin Choi, Zaïd Harchaoui
2021 A* conf
MLE-Guided Parameter Search for Task Loss Minimization in Neural Sequence Modeling.
AAAI
Sean Welleck, Kyunghyun Cho
2021 — conf
Mode recovery in neural autoregressive sequence modeling.
SPNLP@ACL-IJCNLP
Ilia Kulikov, Sean Welleck, Kyunghyun Cho
2021 J jnl
Mode recovery in neural autoregressive sequence modeling.
CoRR
Ilia Kulikov, Sean Welleck, Kyunghyun Cho
2021 — conf
NaturalProofs: Mathematical Theorem Proving in Natural Language.
NeurIPS Datasets and Benchmarks
Sean Welleck, Jiacheng Liu, Ronan Le Bras, Hanna Hajishirzi, Yejin Choi, Kyunghyun Cho
2021 J jnl
NaturalProofs: Mathematical Theorem Proving in Natural Language.
CoRR
Sean Welleck, Jiacheng Liu, Ronan Le Bras, Hannaneh Hajishirzi, Yejin Choi, Kyunghyun Cho
2021 J jnl
NeuroLogic A*esque Decoding: Constrained Text Generation with Lookahead Heuristics.
CoRR
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
2021 — —
Order and Learning in Sequential Neural Structured Prediction.
Sean Welleck
2021 J jnl
PROMPT WAYWARDNESS: The Curious Case of Discretized Interpretation of Continuous Prompts.
CoRR
Daniel Khashabi, Shane Lyu, Sewon Min, Lianhui Qin, Kyle Richardson, Sameer Singh, Sean Welleck, Hannaneh Hajishirzi, Tushar Khot, Ashish Sabharwal, Yejin Choi
2021 J jnl
Symbolic Brittleness in Sequence Models: on Systematic Generalization in Symbolic Mathematics.
CoRR
Sean Welleck, Peter West, Jize Cao, Yejin Choi
2021 J jnl
Symbolic Knowledge Distillation: from General Language Models to Commonsense Models.
CoRR
Peter West, Chandra Bhagavatula, Jack Hessel, Jena D. Hwang, Liwei Jiang, Ronan Le Bras, Ximing Lu, Sean Welleck, Yejin Choi
2020 — conf
Consistency of a Recurrent Language Model With Respect to Incomplete Decoding.
EMNLP (1)
Sean Welleck, Ilia Kulikov, Jaedeok Kim, Richard Yuanzhe Pang, Kyunghyun Cho
2020 J jnl
Consistency of a Recurrent Language Model With Respect to Incomplete Decoding.
CoRR
Sean Welleck, Ilia Kulikov, Jaedeok Kim, Richard Yuanzhe Pang, Kyunghyun Cho
2020 A* conf
Don't Say That! Making Inconsistent Dialogue Unlikely with Unlikelihood Training.
ACL
Margaret Li, Stephen Roller, Ilia Kulikov, Sean Welleck, Y-Lan Boureau, Kyunghyun Cho, Jason Weston
2020 J jnl
MLE-guided parameter search for task loss minimization in neural sequence modeling.
CoRR
Sean Welleck, Kyunghyun Cho
2020 A* conf
Neural Text Generation With Unlikelihood Training.
ICLR
Sean Welleck, Ilia Kulikov, Stephen Roller, Emily Dinan, Kyunghyun Cho, Jason Weston
2019 — conf
Dialogue Natural Language Inference.
ACL (1)
Sean Welleck, Jason Weston, Arthur Szlam, Kyunghyun Cho
2019 J jnl
Don't Say That! Making Inconsistent Dialogue Unlikely with Unlikelihood Training.
CoRR
Margaret Li, Stephen Roller, Ilia Kulikov, Sean Welleck, Y-Lan Boureau, Kyunghyun Cho, Jason Weston
2019 J jnl
Neural Text Generation with Unlikelihood Training.
CoRR
Sean Welleck, Ilia Kulikov, Stephen Roller, Emily Dinan, Kyunghyun Cho, Jason Weston
2019 — conf
Non-Monotonic Sequential Text Generation.
WNLP@ACL
Kianté Brantley, Kyunghyun Cho, Hal Daumé III, Sean Welleck
2019 A* conf
Non-Monotonic Sequential Text Generation.
ICML
Sean Welleck, Kianté Brantley, Hal Daumé III, Kyunghyun Cho
2019 J jnl
Non-Monotonic Sequential Text Generation.
CoRR
Sean Welleck, Kianté Brantley, Hal Daumé III, Kyunghyun Cho
2019 Misc conf
Sequential Graph Dependency Parser.
RANLP
Sean Welleck, Kyunghyun Cho
2019 J jnl
Sequential Graph Dependency Parser.
CoRR
Sean Welleck, Kyunghyun Cho
2018 J jnl
Dialogue Natural Language Inference.
CoRR
Sean Welleck, Jason Weston, Arthur Szlam, Kyunghyun Cho
2018 A* conf
Loss Functions for Multiset Prediction.
NeurIPS
Sean Welleck, Zixin Yao, Yu Gai, Jialin Mao, Zheng Zhang, Kyunghyun Cho
2017 J jnl
Loss Functions for Multiset Prediction.
CoRR
Sean Welleck, Zixin Yao, Yu Gai, Jialin Mao, Zheng Zhang, Kyunghyun Cho
2017 — conf
Saliency-based Sequential Image Attention with Multiset Prediction.
NIPS
Sean Welleck, Jialin Mao, Kyunghyun Cho, Zheng Zhang
2017 J jnl
Saliency-based Sequential Image Attention with Multiset Prediction.
CoRR
Sean Welleck, Jialin Mao, Kyunghyun Cho, Zheng Zhang