Scholar
Yuwei Liu
Google Scholar ID: 8hAHWa0AAAAJ
PhD student, Institute of Software Chinese Academy of Sciences
Computer Science
Software and System Security
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
259
H-index
6
i10-index
6
Publications
9
Co-authors
6
list available
Publications
5 items
HarnessLLM: Rust Verification Harness Generation with Large Language Models
2026
Cited
0
KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification
2026
Cited
0
KVerus: Scalable and Resilient Formal Verification Proof Generation for Rust Code
2026
Cited
0
Deception by Design: A Temporal Dark Patterns Audit of McDonald's Self-Ordering Kiosk Flow
2026
Cited
0
Spatial Policy: Guiding Visuomotor Robotic Manipulation with Spatial-Aware Modeling and Reasoning
2025
Cited
0
Co-authors
3 total
Tiffany Bao
Arizona State University
Chao Zhang
Tsinghua University
Yanhao Wang
Independent Researcher
