vix.ing · top · new · best · stats · spec

Sean Welleck

  1. Faith and Fate: Limits of Transformers on Compositionality
    2023/05/29 by Nouha Dziri, Dziri, Nouha, Ximing Lu +29 · 13 voices · 72 citations
    Computer Science · Materials Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning in Materials Science #Natural Language Processing Techniques #Topic Modeling
  2. Llemma: An Open Language Model For Mathematics
    2023/10/16 by Zhangir Azerbayev, Azerbayev, Zhangir, Hailey Schoelkopf +15 · 2 voices · 42 citations
    #cs.CL #cs.AI #cs.LO
  3. Self-Refine: Iterative Refinement with Self-Feedback
    2023/03/30 by Aman Madaan, Madaan, Aman, Niket Tandon +29 · 1 voice · 567 citations
    Computer Science · #Natural Language Processing Techniques #Speech and dialogue systems #Topic Modeling #cs.AI #cs.CL #cs.LG
  4. Lila: A Unified Benchmark for Mathematical Reasoning
    2022/10/31 by Swaroop Mishra, Mishra, Swaroop, Matthew Finlayson +19 · 1 voice · 8 citations
    Computer Science · #Multimodal Machine Learning Applications #Natural Language Processing Techniques #Topic Modeling #cs.AI #cs.CL
  5. Inference Scaling Laws: An Empirical Analysis of Compute-Optimal Inference for Problem-Solving with Language Models
    2024/08/01 by Yangzhen Wu, Zhiqing Sun, Wu, Yangzhen +7 · 1 voice · 96 citations
    Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #cs.AI
  6. MAUVE: Measuring the Gap Between Neural Text and Human Text using Divergence Frontiers
    2021/02/02 by Krishna Pillutla, Swabha Swayamdipta, Pillutla, Krishna +11 · 51 citations
    Computer Science · #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning and Data Classification #Natural Language Processing Techniques #Topic Modeling
  7. From Decoding to Meta-Generation: Inference-time Algorithms for Large Language Models
    2024/06/24 by Sean Welleck, Amanda Bertsch, Welleck, Sean +14 · 3 voices · 24 citations
    Computer Science · #Topic Modeling #Natural Language Processing Techniques
  8. Neural Text Generation with Unlikelihood Training
    2019/08/12 by Sean Welleck, Welleck, Sean, Ilia Kulikov +9 · 38 citations
    Computer Science · #Advanced Text Analysis Techniques #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Natural Language Processing Techniques #Topic Modeling
  9. Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs
    2022/10/21 by Albert Q. Jiang, Sean Welleck, Jiang, Albert Q. +16 · 1 voice · 38 citations
    Computer Science · #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Software Engineering Research #cs.AI #cs.LG
  10. L1: Controlling How Long A Reasoning Model Thinks With Reinforcement Learning
    2025/03/06 by Pranjal Aggarwal, Sean Welleck, Aggarwal, Pranjal +1 · 89 citations
    Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Multimodal Machine Learning Applications #Software System Performance and Reliability #Topic Modeling
  11. Generating Sequences by Learning to Self-Correct
    2022/10/31 by Sean Welleck, Ximing Lu, Welleck, Sean +11 · 27 citations
    Computer Science · #Computation and Language (cs.CL) #FOS: Computer and information sciences #Software Engineering Research #Software Reliability and Analysis Research #Software Testing and Debugging Techniques
  12. NaturalProofs: Mathematical Theorem Proving in Natural Language
    2021/03/24 by Sean Welleck, Welleck, Sean, Jiacheng Liu +9 · 11 citations
    Computer Science · #Topic Modeling #Natural Language Processing Techniques #Mathematics, Computing, and Information Processing
  13. COLD Decoding: Energy-based Constrained Text Generation with Langevin Dynamics
    2022/02/23 by Lianhui Qin, Sean Welleck, Qin, Lianhui +5 · 12 citations
    Computer Science · #Topic Modeling #Natural Language Processing Techniques #Advanced Text Analysis Techniques
  14. The BiGGen Bench: A Principled Benchmark for Fine-grained Evaluation of Language Models with Language Models
    2024/06/09 by Seungone Kim, Kim, Seungone, Juyoung Suk +61 · 21 citations
    Computer Science · #Computation and Language (cs.CL) #FOS: Computer and information sciences #Natural Language Processing Techniques #Topic Modeling
  15. A Survey of Deep Learning for Mathematical Reasoning
    2022/12/20 by Pan Lu, Liang Qiu, Lu, Pan +7 · 10 citations
    Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Intelligent Tutoring Systems and Adaptive Learning #Machine Learning (cs.LG) #Mathematics, Computing, and Information Processing #Online Learning and Analytics
  16. Easy-to-Hard Generalization: Scalable Alignment Beyond Human Supervision
    2024/03/14 by Zhiqing Sun, Sun, Zhiqing, Longhui Yu +11 · 12 citations
    Computer Science · #Image Retrieval and Classification Techniques
  17. Generated Knowledge Prompting for Commonsense Reasoning
    2021/10/15 by Jiacheng Liu, Liu, Jiacheng, Alisa Liu +13 · 7 citations
    Computer Science · #Computation and Language (cs.CL) #FOS: Computer and information sciences #Natural Language Processing Techniques #Semantic Web and Ontologies #Topic Modeling
  18. NaturalProver: Grounded Mathematical Proof Generation with Language Models
    2022/05/25 by Sean Welleck, Jiacheng Liu, Welleck, Sean +7 · 5 citations
    Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Mathematics, Computing, and Information Processing
  19. Rewarding the Unlikely: Lifting GRPO Beyond Distribution Sharpening
    2025/06/03 by Aishan He, Daniel B. Fried, He, Andre +3 · 23 citations
    Business, Management and Accounting · Economics, Econometrics and Finance · Mathematics · #Census and Population Estimation #FOS: Computer and information sciences #Healthcare Policy and Management #Machine Learning (cs.LG) #Public Procurement and Policy
  20. Evaluating Language Models as Synthetic Data Generators
    2024/12/04 by Seungone Kim, Kim, Seungone, Juyoung Suk +17 · 12 citations
    Computer Science · #Computation and Language (cs.CL) #FOS: Computer and information sciences #Natural Language Processing Techniques #Topic Modeling
  21. Non-Monotonic Sequential Text Generation
    2019/02/05 by Sean Welleck, Welleck, Sean, Kianté Brantley +5 · 5 citations
    Computer Science · #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Multimodal Machine Learning Applications #Natural Language Processing Techniques #Topic Modeling
  22. MAUVE Scores for Generative Models: Theory and Practice
    2022/12/30 by Krishna Pillutla, Pillutla, Krishna, Lang Liu +15 · 4 citations
    Computer Science · Social Sciences · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #Computational and Text Analysis Methods #FOS: Computer and information sciences #Generative Adversarial Networks and Image Synthesis #Machine Learning (cs.LG) #Multimodal Machine Learning Applications
  23. Optimizing Temperature for Language Models with Multi-Sample Inference
    2025/02/07 by Weihua Du, Du, Weihua, Yiming Yang +3 · 9 citations
    Computer Science · #Natural Language Processing Techniques #Topic Modeling
  24. AlphaVerus: Bootstrapping Formally Verified Code Generation through Self-Improving Translation and Treefinement
    2024/12/09 by Pranjal Aggarwal, Aggarwal, Pranjal, Bryan Parno +3 · 8 citations
    Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Natural Language Processing Techniques #Topic Modeling
  25. miniCodeProps: a Minimal Benchmark for Proving Code Properties
    2024/06/16 by Evan Lohn, Sean Welleck, Lohn, Evan +1 · 5 citations
    Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Methods in Verification #Machine Learning (cs.LG) #Software Engineering (cs.SE) #Software Testing and Debugging Techniques #VLSI and Analog Circuit Testing
  26. Dialogue Natural Language Inference
    2018/11/01 by Sean Welleck, Jason Weston, Welleck, Sean +5 · 2 citations
    Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Natural Language Processing Techniques #Speech and dialogue systems #Topic Modeling
  27. Consistency of a Recurrent Language Model With Respect to Incomplete Decoding
    2020/02/06 by Sean Welleck, Ilia Kulikov, Welleck, Sean +7 · 4 citations
    Computer Science · #Topic Modeling #Natural Language Processing Techniques #Multimodal Machine Learning Applications
  28. Prompt Waywardness: The Curious Case of Discretized Interpretation of Continuous Prompts
    2021/12/15 by Daniel Khashabi, Shane Lyu, Khashabi, Daniel +19 · 2 citations
    Computer Science · #Computation and Language (cs.CL) #FOS: Computer and information sciences #Natural Language Processing Techniques #Speech and dialogue systems #Topic Modeling
  29. Scaling Evaluation-time Compute with Reasoning Models as Evaluators
    2025/03/25 by Seungone Kim, Kim, Seungone, Ian Wu +19 · 6 citations
    #cs.CL
  30. Rainier: Reinforced Knowledge Introspector for Commonsense Question Answering
    2022/10/06 by Jiacheng Liu, Liu, Jiacheng, Skyler Hallinan +11 · 2 citations
    Computer Science · #Topic Modeling #Natural Language Processing Techniques #Multimodal Machine Learning Applications
  31. Propose, Solve, Verify: Self-Play Through Formal Verification
    2025/12/20 by Alex Wilf, Wilf, Alex, Pranjal Aggarwal +11 · 4 voices
    Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #cs.AI
  32. OptimalThinkingBench: Evaluating Over and Underthinking in LLMs
    2025/08/18 by Pranjal Aggarwal, Aggarwal, Pranjal, Seungone Kim +11 · 10 citations
    Computer Science · #Computation and Language (cs.CL) #FOS: Computer and information sciences #Library Science and Information Systems #Machine Learning (cs.LG) #Natural Language Processing Techniques #Semantic Web and Ontologies
  33. On the limits and opportunities of AI reviewers: Reviewing the reviews of Nature-family papers with 45 expert scientists
    2026/05/20 by Seungone Kim, Dongkeun Yoon, Kiril Gashteovski +55 · 4 voices
    #cs.CL #cs.AI #cs.LG
  34. Data for Mathematical Copilots: Better Ways of Presenting Proofs for Machine Learning
    2024/12/19 by Simon Frieder, Jonas Bayer, Frieder, Simon +27 · 2 citations
    Computer Science · #Numerical Methods and Algorithms #Mathematics, Computing, and Information Processing #Polynomial and algebraic computation
  35. Training Proactive and Personalized LLM Agents
    2025/11/04 by Weiwei Sun, Sun, Weiwei, Xuhui Zhou +13 · 2 citations
    Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Mobile Crowdsensing and Crowdsourcing #Software Engineering Research #Spreadsheets and End-User Computing
  36. Programming with Pixels: Can Computer-Use Agents do Software Engineering?
    2025/02/24 by Pranjal Aggarwal, Sean Welleck, Aggarwal, Pranjal +1 · 1 citation
    Computer Science · #Advanced Software Engineering Methodologies #FOS: Computer and information sciences #Machine Learning (cs.LG) #Multi-Agent Systems and Negotiation #Software Engineering (cs.SE) #Software Engineering Research