Chenyuan Yang's Homepage
Publications
CV

Chenyuan Yang

Chenyuan Yang

PhD student at UIUC

Champaign, IL, USA
Email
Twitter
Github
Google Scholar

VeruSAGE: A Study of Agent-Based Verification for Rust Systems

Published in arXiv preprint, 2025

Share on

Twitter Facebook LinkedIn

© 2026 Chenyuan Yang.