影响力指数

6.08/100

超过 19.1%

全站排名 #52,111

发表论文1 篇

平均评分7.0

年均产出1.0 篇/年

Shan Lu

Principal Researcher@Microsoft·美国·OpenReview

Automated Proof Generation for Rust Code via Self-Evolution

ICLR 2025Poster

合作者 (13)

Md Rakib Hossain Misu