Yang, Yujie
8 publications
NeurIPS
2024
RealMAN: A Real-Recorded and Annotated Microphone Array Dataset for Dynamic Speech Enhancement and Localization
CoRL
2024
Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation