Nina Narodytska

~Nina_Narodytska1

2

论文总数

2.0

年均投稿

4.9

平均评分

接收情况1/2

会议分布

NeurIPS

1

ICLR

1

发表论文 (2 篇)

20242 篇

Lucy: Think and Reason to Solve Text-to-SQL

NeurIPS 2024Rejected

Lemur: Integrating Large Language Models in Automated Program Verification

ICLR 2024Poster

合作者 (3)

shay vargaftik1 篇

Clark Barrett1 篇