Mengxin Ren
Orcid: 0009-0004-3772-8369
According to our database1,
Mengxin Ren
authored at least 5 papers
in 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
HW-TSC at SemEval-2024 Task 9: Exploring Prompt Engineering Strategies for Brain Teaser Puzzles Through LLMs.
Proceedings of the 18th International Workshop on Semantic Evaluation, 2024
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.
Proceedings of the 61st ACM/IEEE Design Automation Conference, 2024