Proceedings of the 2025 Conference of the Nations of the Americas Chapter of the Association for Computational Linguistics: Human Language Technologies, 2025

Optimizing Temperature for Language Models with Multi-Sample Inference.

[BibT_eX]

[DOI]

Weihua Du

Yiming Yang

Sean Welleck

Proceedings of the Forty-second International Conference on Machine Learning, 2025

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

[BibT_eX]

[DOI]

Pranjal Aggarwal

Bryan Parno

Sean Welleck

Proceedings of the Forty-second International Conference on Machine Learning, 2025

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

[BibT_eX]

[DOI]

Proceedings of the Thirteenth International Conference on Learning Representations, 2025

Lean-STaR: Learning to Interleave Thinking and Proving.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth International Conference on Learning Representations, 2025

miniCTX: Neural Theorem Proving with (Long-)Contexts.

[BibT_eX]

[DOI]

Jiewen Hu

Thomas Zhu

Sean Welleck

Proceedings of the Thirteenth International Conference on Learning Representations, 2025

ImProver: Agent-Based Automated Proof Optimization.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth International Conference on Learning Representations, 2025

Rewarding the Unlikely: Lifting GRPO Beyond Distribution Sharpening.

[BibT_eX]

[DOI]

Andre Wang He

Daniel Fried

Sean Welleck

Proceedings of the 2025 Conference on Empirical Methods in Natural Language Processing, 2025

Agentic-R1: Distilled Dual-Strategy Reasoning.

[BibT_eX]

[DOI]

Proceedings of the 2025 Conference on Empirical Methods in Natural Language Processing, 2025

Evaluating Language Models as Synthetic Data Generators.

[BibT_eX]

[DOI]

Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2025

2024

From Decoding to Meta-Generation: Inference-time Algorithms for Large Language Models.

[BibT_eX]

[DOI]

Trans. Mach. Learn. Res., 2024

Data for Mathematical Copilots: Better Ways of Presenting Proofs for Machine Learning.

[BibT_eX]

[DOI]

CoRR, 2024

An Empirical Analysis of Compute-Optimal Inference for Problem-Solving with Language Models.

[BibT_eX]

[DOI]

CoRR, 2024

miniCodeProps: a Minimal Benchmark for Proving Code Properties.

[BibT_eX]

[DOI]

Evan Lohn

Sean Welleck

CoRR, 2024

Easy-to-Hard Generalization: Scalable Alignment Beyond Human Supervision.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 37: Annual Conference on Neural Information Processing Systems 2024, 2024

Llemma: An Open Language Model for Mathematics.

[BibT_eX]

[DOI]

Stephen Marcus McAleer

Proceedings of the Twelfth International Conference on Learning Representations, 2024

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

[BibT_eX]

[DOI]

Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing, 2024

2023

MAUVE Scores for Generative Models: Theory and Practice.

[BibT_eX]

[DOI]

J. Mach. Learn. Res., 2023

LLMSTEP: LLM proofstep suggestions in Lean.

[BibT_eX]

[DOI]

Sean Welleck

Rahul Saha

CoRR, 2023

Self-Refine: Iterative Refinement with Self-Feedback.

[BibT_eX]

[DOI]

Bodhisattwa Prasad Majumder

Shashank Gupta

Amir Yazdanbakhsh

Peter Clark

CoRR, 2023

Self-Refine: Iterative Refinement with Self-Feedback.

[BibT_eX]

[DOI]

Bodhisattwa Prasad Majumder

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

Faith and Fate: Limits of Transformers on Compositionality.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

Generating Sequences by Learning to Self-Correct.

[BibT_eX]

[DOI]

Proceedings of the Eleventh International Conference on Learning Representations, 2023

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

[BibT_eX]

[DOI]

Proceedings of the Eleventh International Conference on Learning Representations, 2023

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

[BibT_eX]

[DOI]

Khyathi Raghavi Chandu

Abhilasha Ravichander

Prithviraj Ammanabrolu

Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing, 2023

STEER: Unified Style Transfer with Expert Reinforcement.

[BibT_eX]

[DOI]

Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2023, 2023

A Survey of Deep Learning for Mathematical Reasoning.

[BibT_eX]

[DOI]

Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2023

2022

NaturalProver: Grounded Mathematical Proof Generation with Language Models.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

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

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

QUARK: Controllable Text Generation with Reinforced Unlearning.

[BibT_eX]

[DOI]

Prithviraj Ammanabrolu

Yejin Choi

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Symbolic Knowledge Distillation: from General Language Models to Commonsense Models.

[BibT_eX]

[DOI]

Proceedings of the 2022 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, 2022

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

[BibT_eX]

[DOI]

Proceedings of the 2022 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, 2022

Prompt Waywardness: The Curious Case of Discretized Interpretation of Continuous Prompts.

[BibT_eX]

[DOI]

Proceedings of the 2022 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, 2022

LILA: A Unified Benchmark for Mathematical Reasoning.

[BibT_eX]

[DOI]

Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing, 2022

Maieutic Prompting: Logically Consistent Reasoning with Recursive Explanations.

[BibT_eX]

[DOI]

Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing, 2022

Rainier: Reinforced Knowledge Introspector for Commonsense Question Answering.

[BibT_eX]

[DOI]

Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing, 2022

Generated Knowledge Prompting for Commonsense Reasoning.

[BibT_eX]

[DOI]

Proceedings of the 60th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2022

Symbolic Brittleness in Sequence Models: On Systematic Generalization in Symbolic Mathematics.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

Order and Learning in Sequential Neural Structured Prediction.

[BibT_eX]

[DOI]

Sean Welleck

PhD thesis, 2021

PROMPT WAYWARDNESS: The Curious Case of Discretized Interpretation of Continuous Prompts.

[BibT_eX]

[DOI]

CoRR, 2021

Divergence Frontiers for Generative Models: Sample Complexity, Quantization Level, and Frontier Integral.

[BibT_eX]

[DOI]

CoRR, 2021

NaturalProofs: Mathematical Theorem Proving in Natural Language.

[BibT_eX]

[DOI]

Proceedings of the Neural Information Processing Systems Track on Datasets and Benchmarks 1, 2021

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

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

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

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Mode recovery in neural autoregressive sequence modeling.

[BibT_eX]

[DOI]

Ilia Kulikov

Sean Welleck

Kyunghyun Cho

Proceedings of the 5th Workshop on Structured Prediction for NLP, 2021

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

[BibT_eX]

[DOI]

Sean Welleck

Kyunghyun Cho

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Neural Text Generation With Unlikelihood Training.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Learning Representations, 2020

Consistency of a Recurrent Language Model With Respect to Incomplete Decoding.

[BibT_eX]

[DOI]

Proceedings of the 2020 Conference on Empirical Methods in Natural Language Processing, 2020

Don't Say That! Making Inconsistent Dialogue Unlikely with Unlikelihood Training.

[BibT_eX]

[DOI]

Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics, 2020

2019

Sequential Graph Dependency Parser.

[BibT_eX]

[DOI]

Sean Welleck

Kyunghyun Cho

Proceedings of the International Conference on Recent Advances in Natural Language Processing, 2019

Dialogue Natural Language Inference.

[BibT_eX]

[DOI]

Proceedings of the 57th Conference of the Association for Computational Linguistics, 2019

Non-Monotonic Sequential Text Generation.

[BibT_eX]

[DOI]

Proceedings of the 2019 Workshop on Widening NLP@ACL 2019, Florence, Italy, July 28, 2019, 2019

2018

Loss Functions for Multiset Prediction.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018

2017

Saliency-based Sequential Image Attention with Multiset Prediction.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 30: Annual Conference on Neural Information Processing Systems 2017, 2017

Sean Welleck

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...