Neural Barrier Certificates Synthesis of NN-Controlled Continuous Systems via Counterexample-Guided Learning. - Hanrui Zhao; Niuniu Qi; Mengxin Ren; Xia Zeng; Zhenbing Zeng; Zhengfeng Yang (DAC, 2024)

Cross-Domain Audio Deepfake Detection: Dataset and Analysis. - Yuang Li; Min Zhang 042; Mengxin Ren; Xiaosong Qiao; Miaomiao Ma; Daimeng Wei; Hao Yang 006 (EMNLP, 2024)

Using Large Language Model for End-to-End Chinese ASR and NER. - Yuang Li; Jiawei Yu; Min Zhang; Mengxin Ren; Yanqing Zhao; Xiaofeng Zhao; Shimin Tao; Jinsong Su; Hao Yang (INTERSPEECH, 2024)

A Multitask Training Approach to Enhance Whisper with Open-Vocabulary Keyword Spotting. - Yuang Li; Min Zhang; Chang Su 001; Yinglu Li; Xiaosong Qiao; Mengxin Ren; Miaomiao Ma; Daimeng Wei; Shimin Tao; Hao Yang 006 (INTERSPEECH, 2024)

HW-TSC at SemEval-2024 Task 9: Exploring Prompt Engineering Strategies for Brain Teaser Puzzles Through LLMs. - Yinglu Li; Yanqing Zhao; Min Zhang; Yadong Deng; Aiju Geng; Xiaoqin Liu; Mengxin Ren; Yuang Li; Chang Su 001; Xiaofeng Zhao (SemEval@NAACL, 2024)

Using Large Language Model for End-to-End Chinese ASR and NER. - Yuang Li; Jiawei Yu; Yanqing Zhao; Min Zhang 042; Mengxin Ren; Xiaofeng Zhao; Xiaosong Qiao; Chang Su 001; Miaomiao Ma; Hao Yang 006 (CoRR, 2024)

Cross-Domain Audio Deepfake Detection: Dataset and Analysis. - Yuang Li; Min Zhang; Mengxin Ren; Miaomiao Ma; Daimeng Wei; Hao Yang (CoRR, 2024)

"I've Heard of You!": Generate Spoken Named Entity Recognition Data for Unseen Entities. - Jiawei Yu; Xiang Geng; Yuang Li; Mengxin Ren; Wei Tang 013; Jiahuan Li; Zhibin Lan; Min Zhang 042; Hao Yang 006; Shujian Huang; Jinsong Su (CoRR, 2024)

Learning-enabled Polynomial Lyapunov Function Synthesis via High-Accuracy Counterexample-Guided Framework. - Hanrui Zhao; Niuniu Qi; Mengxin Ren; Banglong Liu; Shuming Shi; Zhengfeng Yang (CVPR, 2025)

"I've Heard of You!": Generate Spoken Named Entity Recognition Data for Unseen Entities. - Jiawei Yu; Xiang Geng; Yuang Li; Mengxin Ren; Wei Tang; Jiahuan Li; Zhibin Lan; Min Zhang; Hao Yang; Shujian Huang; Jinsong Su (ICASSP, 2025)