Sean Welleck
45 papers · 2017–2025 · 9 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+14 more ↓ Show less ↑
π Interdisciplinary Bridge π Academic Marathon (8) π Renaissance Researcher (8) π Conference Polyglot (9) πΊοΈ Taxonomy Completionist (74)
π
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
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