Gyeongman Kim

~Gyeongman_Kim1

1

论文总数

1.0

年均投稿

5.7

平均评分

接收情况1/1

会议分布

ICLR

1

发表论文 (1 篇)

20251 篇

Divide and Translate: Compositional First-Order Logic Translation and Verification for Complex Logical Reasoning

ICLR 2025Poster

合作者 (3)

Eunho Yang1 篇

Hyemin S. Lee1 篇