Shuai Lu

~Shuai_Lu1

3

论文总数

1.5

年均投稿

6.2

平均评分

接收情况2/3

会议分布

ICLR

3

发表论文 (3 篇)

20252 篇

Alchemy: Amplifying Theorem-Proving Capability Through Symbolic Mutation

ICLR 2025Poster

Automated Proof Generation for Rust Code via Self-Evolution

ICLR 2025Poster

20241 篇

Enhancing Large Language Models in Coding Through Multi-Perspective Self-Consistency

ICLR 2024Rejected

合作者 (17)

Yeyun Gong2 篇

Chenyuan Yang1 篇

Lidong Zhou1 篇

Md Rakib Hossain Misu1 篇

Peng CHENG1 篇