影响力指数

6.08/100

超过 19.1%

全站排名 #52,109

发表论文1 篇

平均评分7.0

年均产出1.0 篇/年

Md Rakib Hossain Misu

PhD student@University of California, Irvine·美国·OpenReview

研究方向

Software Engineering · Program Verification · Program Synthesis

Automated Proof Generation for Rust Code via Self-Evolution

ICLR 2025Poster

合作者 (13)