Lekai Chen

~Lekai_Chen1

1

论文总数

1.0

年均投稿

6.4

平均评分

接收情况0/1

会议分布

NeurIPS

1

发表论文 (1 篇)

20251 篇

CEDAR: A Counter-Example Driven Agent with Regular Restriction

NeurIPS 2025Rejected

合作者 (2)

Alvaro Velasquez1 篇

Ashutosh Trivedi1 篇