pith. sign in

Sean Welleck

Identifiers

  • name variant Sean Welleck 0.60 · backfill

Papers (18)

  1. Verus-SpecGym: An Agentic Environment for Evaluating Specification Autoformalization cs.SE · 2026 · author #9
  2. ImProver 2: Iteratively Self-Improving LMs for Neurosymbolic Proof Optimization cs.AI · 2026 · author #4
  3. On the limits and opportunities of AI reviewers: Reviewing the reviews of Nature-family papers with 45 expert scientists cs.CL · 2026 · author #57
  4. Reinforcing Human Behavior Simulation via Verbal Feedback cs.LG · 2026 · author #13
  5. Soohak: A Mathematician-Curated Benchmark for Evaluating Research-level Math Capabilities of LLMs cs.CL · 2026 · author #24
  6. AdaExplore: Failure-Driven Adaptation and Diversity-Preserving Search for Efficient Kernel Generation cs.CL · 2026 · author #12
  7. Gym-Anything: Turn any Software into an Agent Environment cs.LG · 2026 · author #3
  8. Explorable Theorems: Making Written Theorems Explorable by Grounding Them in Formal Representations cs.HC · 2026 · author #3
  9. Argument Reconstruction as Supervision for Critical Thinking in LLMs cs.CL · 2026 · author #6
  10. Scaling Evaluation-time Compute with Reasoning Models as Evaluators cs.CL · 2025 · author #11
  11. L1: Controlling How Long A Reasoning Model Thinks With Reinforcement Learning cs.CL · 2025 · author #2
  12. ImProver: Agent-Based Automated Proof Optimization cs.AI · 2024 · author #4
  13. Inference Scaling Laws: An Empirical Analysis of Compute-Optimal Inference for Problem-Solving with Language Models cs.AI · 2024 · author #4
  14. Llemma: An Open Language Model For Mathematics cs.CL · 2023 · author #9
  15. Self-Refine: Iterative Refinement with Self-Feedback cs.CL · 2023 · author #14
  16. Dialogue Natural Language Inference cs.CL · 2018 · author #1
  17. Loss Functions for Multiset Prediction cs.LG · 2017 · author #1
  18. Saliency-based Sequential Image Attention with Multiset Prediction cs.CV · 2017 · author #1

Mentions

  • 2605.26457 #9 · arxiv_oai · confidence 0.70 Sean Welleck
  • 2605.22885 #4 · arxiv_oai · confidence 0.70 Sean Welleck
  • 2410.04753 #4 · arxiv_oai · confidence 0.70 Sean Welleck
  • 2605.20668 #57 · arxiv_oai · confidence 0.70 Sean Welleck
  • 2605.20506 #13 · arxiv_oai · confidence 0.70 Sean Welleck
  • 2503.19877 #11 · arxiv_oai · confidence 0.70 Sean Welleck
  • 2605.09063 #24 · arxiv_oai · confidence 0.70 Sean Welleck
  • 2310.10631 #9 · arxiv_oai · confidence 0.70 Sean Welleck
  • 2408.00724 #4 · arxiv_oai · confidence 0.70 Sean Welleck
  • 2503.04697 #2 · arxiv_oai · confidence 0.70 Sean Welleck

Frequent Coauthors