Sean Welleck

45 papers · 2017–2025 · 9 conferences · across top CS/AI conferences

Achievements

🌈 Renaissance Researcher (8) 🐝 Cross-Pollinator (14) 🌉 Interdisciplinary Bridge 🗺️ Taxonomy Completionist (74) 🌍 Conference Polyglot (9) 🏃 Academic Marathon (8) 🧭 Keyword Pioneer 🐣 Hot Topic Early Bird 🔬 Deep Specialist (11) 🏆 Grand Slam 👥 Mega-Team (32) 🤝 Dynamic Duo (17) 🧬 Topic Evolution 🏆 Keyword Champion (2) ⚡ Prolific Year (8) 🔥 Unstoppable (9) 🗃️ Keyword Collector (167) 💎 Century Club (45) 📈 Trend Setter

Conferences

NIPS (10) EMNLP (9) ICLR (8) ACL (7) NAACL (4) ICML (3) AAAI (2) IJCNLP (1) JMLR (1)

Top co-authors

Yejin Choi (17) Kyunghyun Cho (11) Ximing Lu (10) Peter West (8) LIANHUI Qin (6) Yiming Yang (6) Ilia Kulikov (5) Liwei Jiang (5) Ronan Le Bras (5) Hannaneh Hajishirzi (4)

Keywords

language model (11) text generation (9) reinforcement learning (8) large language model (5) maximum likelihood (4) commonsense reasoning (4) question answering (3) theorem proving (3) generative model (2) sequence modeling (2) maximum likelihood estimation (2) distribution matching (2) reward shaping (2) autoregressive model (2) model compression (2) language model evaluation (2) knowledge distillation (2) sequence generation (2) mathematical reasoning (2) constrained generation (2)

Papers

Rewarding the Unlikely: Lifting GRPO Beyond Distribution Sharpening EMNLP 2025

Optimizing Temperature for Language Models with Multi-Sample Inference ICML 2025

ImProver: Agent-Based Automated Proof Optimization ICLR 2025

Agentic-R1: Distilled Dual-Strategy Reasoning EMNLP 2025

Evaluating Language Models as Synthetic Data Generators ACL 2025

AlphaVerus: Bootstrapping Formally Verified Code Generation through Self-Improving Translation and Treefinement ICML 2025

Inference Scaling Laws: An Empirical Analysis of Compute-Optimal Inference for LLM Problem-Solving ICLR 2025

miniCTX: Neural Theorem Proving with (Long-)Contexts ICLR 2025

Lean-STaR: Learning to Interleave Thinking and Proving ICLR 2025

The BiGGen Bench: A Principled Benchmark for Fine-grained Evaluation of Language Models with Language Models NAACL 2025

Prometheus 2: An Open Source Language Model Specialized in Evaluating Other Language Models EMNLP 2024

Llemma: An Open Language Model for Mathematics ICLR 2024

Easy-to-Hard Generalization: Scalable Alignment Beyond Human Supervision NIPS 2024

A Survey of Deep Learning for Mathematical Reasoning ACL 2023

Self-Refine: Iterative Refinement with Self-Feedback NIPS 2023

Faith and Fate: Limits of Transformers on Compositionality NIPS 2023

Inference-Time Policy Adapters (IPA): Tailoring Extreme-Scale LMs without Fine-tuning EMNLP 2023

STEER: Unified Style Transfer with Expert Reinforcement EMNLP 2023

Generating Sequences by Learning to Self-Correct ICLR 2023

Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs ICLR 2023

MAUVE Scores for Generative Models: Theory and Practice JMLR 2023

Maieutic Prompting: Logically Consistent Reasoning with Recursive Explanations EMNLP 2022

Rainier: Reinforced Knowledge Introspector for Commonsense Question Answering EMNLP 2022

NeuroLogic A*esque Decoding: Constrained Text Generation with Lookahead Heuristics NAACL 2022

Prompt Waywardness: The Curious Case of Discretized Interpretation of Continuous Prompts NAACL 2022

Symbolic Knowledge Distillation: from General Language Models to Commonsense Models NAACL 2022

Symbolic Brittleness in Sequence Models: On Systematic Generalization in Symbolic Mathematics AAAI 2022

QUARK: Controllable Text Generation with Reinforced Unlearning NIPS 2022

COLD Decoding: Energy-based Constrained Text Generation with Langevin Dynamics NIPS 2022

NaturalProver: Grounded Mathematical Proof Generation with Language Models NIPS 2022

Generated Knowledge Prompting for Commonsense Reasoning ACL 2022

LILA: A Unified Benchmark for Mathematical Reasoning EMNLP 2022

MLE-Guided Parameter Search for Task Loss Minimization in Neural Sequence Modeling AAAI 2021

Mode recovery in neural autoregressive sequence modeling ACL 2021

Divergence Frontiers for Generative Models: Sample Complexity, Quantization Effects, and Frontier Integrals NIPS 2021

MAUVE: Measuring the Gap Between Neural Text and Human Text using Divergence Frontiers NIPS 2021

Mode recovery in neural autoregressive sequence modeling IJCNLP 2021

Don’t Say That! Making Inconsistent Dialogue Unlikely with Unlikelihood Training ACL 2020

Consistency of a Recurrent Language Model With Respect to Incomplete Decoding EMNLP 2020

Neural Text Generation With Unlikelihood Training ICLR 2020

Non-Monotonic Sequential Text Generation ICML 2019

Non-Monotonic Sequential Text Generation ACL 2019

Dialogue Natural Language Inference ACL 2019

Loss Functions for Multiset Prediction NIPS 2018

Saliency-based Sequential Image Attention with Multiset Prediction NIPS 2017