Ya Wang

This paper introduces HiFuzz, a hierarchical reinforcement learning framework for processor verification that replaces mutation with a structured generation process and integrates coverage reward mechanism and semantic-aware basic block encoder.

This paper proposes eBIM, a software-hardware collaborative paradigm for blockchain infrastructure management using RISC-V, and surveys related research and technologies.

The paper presents ViTacWorld, a framework for scalable contact-rich robot manipulation using a visuo-tactile world model.