Clark Barrett

~Clark_Barrett1

4

论文总数

2.0

年均投稿

6.2

平均评分

接收情况2/4

会议分布

ICLR

3

NeurIPS

1

发表论文 (4 篇)

20251 篇

Markovian Transformers for Informative Language Modeling

ICLR 2025Rejected

20243 篇

Lemur: Integrating Large Language Models in Automated Program Verification

ICLR 2024Poster

Clover: Closed-Loop Verifiable Code Generation

ICLR 2024withdrawn

SGLang: Efficient Execution of Structured Language Model Programs

NeurIPS 2024Poster

合作者 (17)

Chuyue Sun2 篇

Ying Sheng2 篇

Oded Padon1 篇

Nina Narodytska1 篇

Max Lamparth1 篇

Peter Chatain1 篇

Scott Viteri1 篇