Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Mengxin Ren
Institutions:
Shanghai Key Laboratory of Trustworthy Computing,
East China Normal University
Observed institutions:
Huawei Technologies (China),
Shanghai Key Laboratory of Trustworthy Computing,
East China Normal University
ORCID:
0009-0004-3772-8369
Observed ORCID:
0009-0004-3772-8369
OpenAlex ID:
A5109676901
Cross-Domain Audio Deepfake Detection: Dataset and Analysis
2024
·
Yuang Li
, Min Zhang
, et al.
·
Conference on Empirical Methods in Natural Language Processing (EMNLP)
·
17
PDF
Using Large Language Model for End-to-End Chinese ASR and NER
2024
·
Yuang Li
, Jiawei Yu
, et al.
·
Interspeech (USB)
·
7
PDF
A Multitask Training Approach to Enhance Whisper with Open-Vocabulary Keyword Spotting
2024
·
Yuang Li
, Min Zhang
, et al.
·
Interspeech (USB)
·
3
PDF
Neural Barrier Certificates Synthesis of NN-Controlled Continuous Systems via Counterexample-Guided Learning
2024
·
Hanrui Zhao
, Niuniu Qi
, et al.
·
Proceedings - ACM IEEE Design Automation Conference
·
3
Safe Reinforcement Learning for NN-Controlled Systems With Neural Barrier Certificate Guidance
2025
·
Hanrui Zhao
, Mengxin Ren
, et al.
·
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
·
1
Learning-Aided Safe Controller Synthesis with Formal Guarantees via Vector Barrier Certificates
2025
·
Xia Zeng
, Mengxin Ren
, et al.
·
Proceedings - ACM IEEE Design Automation Conference
·
1
Formal Safety Verification for Nonlinear Systems with Generative Barrier Certificate
2026
·
Mengxin Ren
, Hanrui Zhao
·
Lecture notes in computer science
PDF
Incremental Synthesis of Safe Controller Guided by Learning-Enabled Barrier Certificates with Efficient LP Verification
2026
·
Niuniu Qi
, Hanrui Zhao
, et al.
·
Lecture notes in computer science
PDF
Provably Safe Controller Synthesis via Learning-Assisted Vector Barrier Certificates Generation
2026
·
Mengxin Ren
, Zhengfeng Yang
, et al.
·
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
A Unified Framework for Document-Level Translation and Repair With Global Awareness
2025
·
Xinglin Lyu
, Junhui Li
, et al.
·
IEEE Transactions on Audio Speech and Language Processing
Learning-enabled Polynomial Lyapunov Function Synthesis via High-Accuracy Counterexample-Guided Framework
2025
·
Hanrui Zhao
, Niuniu Qi
, et al.
·
IEEE Computer Society Conference on Computer Vision and Pattern Recognition/Proceedings - IEEE Computer Society Conference on Computer Vision and Pattern Recognition/Proceedings
"I’ve Heard of You!": Generate Spoken Named Entity Recognition Data for Unseen Entities
2025
·
Jiawei Yu
, Xiang Geng
, et al.
·
IEEE International Conference on Acoustics Speech and Signal Processing
PDF
Show more works
View as search
Works count:
12
Citation count:
32
H-index:
3
I10-index:
1
Year
Topic
Type