Sean Welleck
~Sean_Welleck1
10
论文总数
5.0
年均投稿
平均评分
接收情况9/10
会议分布
ICLR
5
ICML
2
NeurIPS
2
COLM
1
发表论文 (10 篇)
20257 篇
4
L1: Controlling How Long A Reasoning Model Thinks With Reinforcement Learning
COLM 2025Poster
3
miniCTX: Neural Theorem Proving with (Long-)Contexts
ICLR 2025Oral
4
Lean-STaR: Learning to Interleave Thinking and Proving
ICLR 2025Spotlight
3
AlphaVerus: Bootstrapping Formally Verified Code Generation through Self-Improving Translation and Treefinement
ICML 2025Poster
6
Optimizing Temperature for Language Models with Multi-Sample Inference
ICML 2025Poster
4
Inference Scaling Laws: An Empirical Analysis of Compute-Optimal Inference for LLM Problem-Solving
ICLR 2025Poster
4
ImProver: Agent-Based Automated Proof Optimization
ICLR 2025Poster