Xiao Yang
2 papers · Latest:
Cryptography & Security
Zero-Knowledge Model Checking
This paper introduces Zero-Knowledge Model Checking, a method to formally verify software systems' correctness without revealing the system itself.
2605.00487
Human-Computer InteractionFrom Awareness to Intent: Mitigating Silent Driving System Failures through Prospective Situation Awareness Enhancing Interfaces
This paper explores how Prospective Situation Awareness Enhancement (PSAE) interfaces improve driver takeover performance during silent automation failures.
2604.18449
📬 Weekly AI Paper Digest
Get the top 10 AI/ML arXiv papers from the week — summarized, scored, and delivered to your inbox every Monday.