🧑‍🔬 Sean Welleck — all works

50 works · ← Sean Welleck

1. Self-Refine: Iterative Refinement with Self-Feedback ↗arXiv:2303.17651 · no summary yetAman Madaan et al.2023 · 1,962 citations
2. Neural Text Generation with Unlikelihood TrainingarXiv:1908.04319Sean Welleck, Ilia Kulikov, Stephen Roller, et al.2019 · 513 citations
3. Dialogue Natural Language InferenceAnnual Meeting of the Association for Computational Linguistics (ACL)Sean Welleck, Jason Weston, Arthur Szlam, et al.2019 · 385 citations
4. Symbolic Knowledge Distillation: from General Language Models to Commonsense ModelsConference of the North American Chapter of the Association for Computational Linguistics (NAACL)Peter West, Chandra Bhagavatula, Jack Hessel, et al.2022 · 349 citations
5. Generated Knowledge Prompting for Commonsense Reasoning ↗Proceedings of the 60th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers) · no summary yetJiacheng Liu et al.2022 · 329 citations
6. Faith and Fate: Limits of Transformers on CompositionalityConference on Neural Information Processing Systems (NeurIPS)Nouha Dziri, Ximing Lu, Melanie Sclar, et al.2023 · 327 citations
7. Llemma: An Open Language Model For MathematicsarXiv:2310.10631Zhangir Azerbayev, Hailey Schoelkopf, Keiran Paster, et al.2023 · 286 citations
8. MAUVE: Measuring the Gap Between Neural Text and Human Text using Divergence FrontiersarXiv:2102.01454Krishna Pillutla, Swabha Swayamdipta, Rowan Zellers, et al.2021 · 251 citations
9. Prometheus 2: An Open Source Language Model Specialized in Evaluating Other Language ModelsarXiv:2405.01535Seungone Kim, Juyoung Suk, Shayne Longpre, et al.2024 · 234 citations
10. Maieutic Prompting: Logically Consistent Reasoning with Recursive ExplanationsConference on Empirical Methods in Natural Language Processing (EMNLP)Jaehun Jung, Lianhui Qin, Sean Welleck, et al.2022 · 219 citations
11. Don't Say That! Making Inconsistent Dialogue Unlikely with Unlikelihood TrainingAnnual Meeting of the Association for Computational Linguistics (ACL)Margaret Li, Stephen Roller, Ilia Kulikov, et al.2020 · 217 citations
12. LILA: A Unified Benchmark for Mathematical ReasoningConference on Empirical Methods in Natural Language Processing (EMNLP)Swaroop Mishra, Matthew Finlayson, Pan Lu, et al.2022 · 179 citations
13. Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal ProofsarXiv:2210.12283Albert Q. Jiang, Sean Welleck, Jin Peng Zhou, et al.2022 · 178 citations
14. Generating Sequences by Learning to Self-CorrectarXiv:2211.00053Sean Welleck, Ximing Lu, Peter West, et al.2022 · 172 citations
15. Quark: Controllable Text Generation with Reinforced UnlearningConference on Neural Information Processing Systems (NeurIPS)Ximing Lu, Sean Welleck, Jack Hessel, et al.2022 · 170 citations
16. A Survey of Deep Learning for Mathematical Reasoning ↗Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers) · no summary yetPan Lu et al.2023 · 149 citations
17. NeuroLogic A*esque Decoding: Constrained Text Generation with Lookahead HeuristicsConference of the North American Chapter of the Association for Computational Linguistics (NAACL)Ximing Lu, Sean Welleck, Peter West, et al.2022 · 140 citations
18. L1: Controlling How Long A Reasoning Model Thinks With Reinforcement LearningarXiv:2503.04697Pranjal Aggarwal, Sean Welleck2025 · 125 citations
19. Inference Scaling Laws: An Empirical Analysis of Compute-Optimal Inference for Problem-Solving with Language ModelsarXiv:2408.00724Yangzhen Wu, Zhiqing Sun, Shanda Li, et al.2024 · 122 citations
20. Non-Monotonic Sequential Text Generation ↗arXiv (Cornell University) · no summary yetSean Welleck et al.2019 · 101 citations
21. Rainier: Reinforced Knowledge Introspector for Commonsense Question AnsweringConference on Empirical Methods in Natural Language Processing (EMNLP)Jiacheng Liu, Skyler Hallinan, Ximing Lu, et al.2022 · 82 citations
22. Consistency of a Recurrent Language Model With Respect to Incomplete Decoding ↗Proceedings of the 2020 Conference on Empirical Methods in Natural Language Processing (EMNLP) · no summary yetSean Welleck et al.2020 · 79 citations
23. NaturalProofs: Mathematical Theorem Proving in Natural Language ↗arXiv:2104.01112 · no summary yetSean Welleck et al.2021 · 76 citations
24. NaturalProver: Grounded Mathematical Proof Generation with Language Models ↗arXiv:2205.12910 · no summary yetSean Welleck et al.2022 · 62 citations
25. The BiGGen Bench: A Principled Benchmark for Fine-grained Evaluation of Language Models with Language Models ↗Proceedings of the 2025 Conference of the Nations of the Americas Chapter of the Association for Computational Linguistics: Human Language Technologies (Volume 1: Long Papers) · no summary yetSeungone Kim et al.2025 · 57 citations
26. From Decoding to Meta-Generation: Inference-time Algorithms for Large Language ModelsarXiv:2406.16838Sean Welleck, Amanda Bertsch, Matthew Finlayson, et al.2024 · 51 citations
27. Lean-STaR: Learning to Interleave Thinking and Proving ↗arXiv:2407.10040 · no summary yetHaohan Lin et al.2024 · 51 citations
28. Easy-to-Hard Generalization: Scalable Alignment Beyond Human Supervision ↗arXiv:2403.09472 · no summary yetZhiqing Sun et al.2024 · 51 citations
29. Evaluating Language Models as Synthetic Data GeneratorsAnnual Meeting of the Association for Computational Linguistics (ACL)Seungone Kim, Juyoung Suk, Xiang Yue, et al.2025 · 32 citations
30. LLMSTEP: LLM proofstep suggestions in Lean ↗arXiv:2310.18457 · no summary yetSean Welleck, Rahul Saha2023 · 22 citations
31. Saliency-based Sequential Image Attention with Multiset Prediction ↗arXiv (Cornell University) · no summary yetSean Welleck et al.2017 · 21 citations
32. miniCTX: Neural Theorem Proving with (Long-)Contexts ↗arXiv:2408.03350 · no summary yetJiewen Hu, Thomas Zhu, Sean Welleck2024 · 18 citations
33. Loss Functions for Multiset Prediction ↗arXiv (Cornell University) · no summary yetSean Welleck et al.2017 · 17 citations
34. STEER: Unified Style Transfer with Expert Reinforcement ↗Findings of the Association for Computational Linguistics: EMNLP 2023 · no summary yetSkyler Hallinan et al.2023 · 16 citations
35. Rewarding the Unlikely: Lifting GRPO Beyond Distribution SharpeningConference on Empirical Methods in Natural Language Processing (EMNLP)Andre Wang He, Daniel Fried, Sean Welleck2025 · 15 citations
36. AlphaVerus: Bootstrapping Formally Verified Code Generation through Self-Improving Translation and Treefinement ↗arXiv:2412.06176 · no summary yetPranjal Aggarwal, Bryan Parno, Sean Welleck2024 · 11 citations
37. MLE-Guided Parameter Search for Task Loss Minimization in Neural Sequence Modeling ↗Proceedings of the AAAI Conference on Artificial Intelligence · no summary yetSean Welleck, Kyunghyun Cho2021 · 11 citations
38. Training Proactive and Personalized LLM Agents ↗arXiv (Cornell University) · no summary yetWeiwei Sun et al.2025 · 10 citations
39. Mind the Sim2Real Gap in User Simulation for Agentic Tasks ↗arXiv (Cornell University) · no summary yetXuhui Zhou et al.2026 · 6 citations
40. Gym-Anything: Turn any Software into an Agent Environment ↗arXiv (Cornell University) · no summary yetPranjal Aggarwal, Graham Neubig, Sean Welleck2026 · 5 citations
41. Premise Selection for a Lean Hammer ↗arXiv:2506.07477 · no summary yetThomas Zhu et al.2025 · 5 citations
42. ImProver: Agent-Based Automated Proof Optimization ↗arXiv:2410.04753 · no summary yetRiyaz Ahuja et al.2024 · 5 citations
43. The CoT Encyclopedia: Analyzing, Predicting, and Controlling how a Reasoning Model will Think ↗arXiv (Cornell University) · no summary yetSeongyun Lee et al.2025 · 4 citations
44. On the limits and opportunities of AI reviewers: Reviewing the reviews of Nature-family papers with 45 expert scientists ↗arXiv:2605.20668 · no summary yetSeungone Kim et al.2026 · 2 citations
45. Reasoning over mathematical objects: on-policy reward modeling and test time aggregation ↗arXiv (Cornell University) · no summary yetPranjal Aggarwal et al.2026 · 1 citation
46. Soohak: A Mathematician-Curated Benchmark for Evaluating Research-level Math Capabilities of LLMs ↗arXiv:2605.09063 · no summary yetGuijin Son et al.2026 · 1 citation
47. cua-speedrun: Standardized Benchmarking of the Speed of Computer-Use Agents ↗arXiv (Cornell University) · no summary yetPranjal Aggarwal et al.2026
48. Reinforcing Human Behavior Simulation via Verbal Feedback ↗arXiv (Cornell University) · no summary yetWeiwei Sun et al.2026
49. Mode recovery in neural autoregressive sequence modeling ↗Proceedings of the 5th Workshop on Structured Prediction for NLP (SPNLP 2021) · no summary yetIlia Kulikov, Sean Welleck, Kyunghyun Cho2021
50. Sequential Graph Dependency Parser ↗Proceedings of the International Conference on Recent Advances in Natural Language Processing (RANLP 2019) · no summary yetSean Welleck, Kyunghyun Cho2019

↑ back to top

This page in Markdown → https://md.research.elamur.ai/free/en/authors/sean-welleck/works/