Jianhao Shen

~Jianhao_Shen1

3

论文总数

1.5

年均投稿

5.6

平均评分

接收情况1/3

会议分布

ICLR

3

发表论文 (3 篇)

20251 篇

Process-Driven Autoformalization in Lean 4

ICLR 2025Rejected

20242 篇

Measuring Vision-Language STEM Skills of Neural Models

ICLR 2024Poster

Lyra: Orchestrating Dual Correction in Automated Theorem Proving

ICLR 2024Rejected

合作者 (20)

Haiming Wang2 篇

Zhengying Liu2 篇

Chuanyang Zheng1 篇

Huajian Xin1 篇

Jiankai Sun1 篇

Zhenguo Li1 篇