Quentin Carbonneaux

发表论文 11 篇 · 总被引 778 次 · h-index 10

代表论文

SWE-RL: Advancing LLM Reasoning via Reinforcement Learning on Open Software Evolution (2025 · Neural Information Processing Systems · 被引 263)
Bounded expectations: resource analysis for probabilistic programs (2017 · ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 被引 135)
Compositional certified resource bounds (2015 · ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 被引 115)
The λΠ-calculus Modulo as a Universal Proof Language (2012 · International Workshop on Proof Exchange for Theorem Proving · 被引 94)
End-to-end verification of stack-space bounds for C programs (2014 · ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 被引 78)
CWM: An Open-Weights LLM for Research on Code Generation with World Models (2025 · arXiv.org · 被引 75)