conf.researchr.org / Yuwei Liu
Registered user since Thu 30 Sep 2021
Contributions
2026
ASE
- Author of KVerus: Scalable and Resilient Formal Verification Proof Generation for Rust Code within the Industry Showcase-track
- Author of VerusSeek: Retrieval-Augmented LLM-Based Proof Synthesis for Rust Programs within the Tools and Datasets-track
- Author of Beyond Benchmarks: A Case Study of LLM-Generated Verus Specification Failures on Asterinas Vostd within the Industry Showcase-track