Mengxin Ren

According to our database, Mengxin Ren authored at least 12 papers between 2024 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Safe Reinforcement Learning for NN-Controlled Systems With Neural Barrier Certificate Guidance.

Hanrui Zhao, Mengxin Ren, Banglong Liu, Niuniu Qi, Xia Zeng, Zhenbing Zeng, Zhengfeng Yang

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., May, 2026

Incremental Synthesis of Safe Controller Guided by Learning-Enabled Barrier Certificates with Efficient LP Verification.

Niuniu Qi, Hanrui Zhao, Zhengfeng Yang, Xia Zeng, Mengxin Ren, Chao Peng, Zhiming Liu

Proceedings of the Formal Methods - 27th International Symposium, 2026

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

Proceedings of the 2025 IEEE International Conference on Acoustics, 2025

Learning-Aided Safe Controller Synthesis with Formal Guarantees via Vector Barrier Certificates.

Xia Zeng, Mengxin Ren, Zhiming Liu, Zhengfeng Yang

Proceedings of the 62nd ACM/IEEE Design Automation Conference, 2025

Learning-enabled Polynomial Lyapunov Function Synthesis via High-Accuracy Counterexample-Guided Framework.

Hanrui Zhao, Niuniu Qi, Mengxin Ren, Banglong Liu, Shuming Shi, Zhengfeng Yang

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2025

2024

Cross-Domain Audio Deepfake Detection: Dataset and Analysis.

Yuang Li, Min Zhang, Mengxin Ren, Miaomiao Ma, Daimeng Wei, Hao Yang

CoRR, 2024

Using Large Language Model for End-to-End Chinese ASR and NER.

Yuang Li, Jiawei Yu, Yanqing Zhao, Min Zhang, Mengxin Ren, Xiaofeng Zhao, Xiaosong Qiao, Chang Su, Miaomiao Ma, Hao Yang

CoRR, 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, Xiaofeng Zhao

Proceedings of the 18th International Workshop on Semantic Evaluation, 2024

A Multitask Training Approach to Enhance Whisper with Open-Vocabulary Keyword Spotting.

Yuang Li, Min Zhang, Chang Su, Yinglu Li, Xiaosong Qiao, Mengxin Ren, Miaomiao Ma, Daimeng Wei, Shimin Tao, Hao Yang

Proceedings of the 25th Annual Conference of the International Speech Communication Association, 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

Proceedings of the 25th Annual Conference of the International Speech Communication Association, 2024

Cross-Domain Audio Deepfake Detection: Dataset and Analysis.

Yuang Li, Min Zhang, Mengxin Ren, Xiaosong Qiao, Miaomiao Ma, Daimeng Wei, Hao Yang

Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing, 2024

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

Proceedings of the 61st ACM/IEEE Design Automation Conference, 2024