Chenyuan Yang's Homepage
Publications
CV

Chenyuan Yang

Chenyuan Yang

PhD student at UIUC

Champaign, IL, USA
Email
Twitter
Github
Google Scholar

[Preprint] AutoVerus: Automated Proof Generation for Rust Code

Published: December 31, 2101

Share on

Twitter Facebook LinkedIn

Follow:
GitHub
Feed

© 2025 Chenyuan Yang. Powered by Jekyll & AcademicPages, a fork of Minimal Mistakes.