Minyu Chen

According to our database, Minyu Chen authored at least 15 papers between 2022 and 2026.

Collaborative distances:

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

2026

Certified Local Transferability for Evaluating Adversarial Attacks.

Minyu Chen, Jingyang Li, Ling-I Wu, Guoqiang Li

IEEE Trans. Artif. Intell., March, 2026

Enhancing automated loop invariant generation for complex programs with large language models.

Ruibang Liu, Minyu Chen, Ling-I Wu, Jingyu Ke, Guoqiang Li

Sci. Comput. Program., 2026

DCoL-A: Agentic dual chain of thinking helps LLMs pretend logic solvers.

Minyu Chen, Ling-I Wu, Ruibang Liu, Xi Chang, Jianxin Xue, Guoqiang Li

J. Syst. Archit., 2026

Bridging Privacy and Utility: A Verifiable Framework for Data Valuation via Zero-Knowledge Proofs.

Ruibang Liu, Minyu Chen, Dengji Ma, Guoqiang Li

IACR Cryptol. ePrint Arch., 2026

2025

Less-activated visual networks to enhance friendly following ability of lightweight robots.

Jianxin Xue, Husheng Chen, Yaohua Hu, Sicheng Hua, Minyu Chen, Ling-I Wu, Xi Chang

Empir. Softw. Eng., October, 2025

DaSAThco: Data-Aware SAT Heuristics Combinations Optimization via Large Language Models.

Minyu Chen, Guoqiang Li

CoRR, September, 2025

ARCEAK: An Automated Rule Checking Framework Enhanced with Architectural Knowledge.

Junyong Chen, Ling-I Wu, Minyu Chen, Xiaoying Qian, Haoze Zhu, Qiongfang Zhang, Guoqiang Li

CoRR, January, 2025

Lightweight visual backbone network with enhanced comprehensive strength through context-aware dual attention mechanism.

Jianxin Xue, Yaohua Hu, Sicheng Hua, Minyu Chen, Ling-I Wu, Xi Chang, Guoqiang Li

Neurocomputing, 2025

DCE-LLM: Dead Code Elimination with Large Language Models.

Minyu Chen, Guoqiang Li, Ling-I Wu, Ruibang Liu

Proceedings of the 2025 Conference of the Nations of the Americas Chapter of the Association for Computational Linguistics: Human Language Technologies, 2025

Co-Eval: Augmenting LLM-based Evaluation with Machine Metrics.

Ling-I Wu, Weijie Wu, Minyu Chen, Jianxin Xue, Guoqiang Li

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

Providing Certified Triggers in Trigger Set-Based Watermarking for Ownership Validation against Image Transformation.

Jingyang Li, Minyu Chen, Guoqiang Li

Proceedings of the 2025 Workshop on Recent Advances in Resilient and Trustworthy MAchine learning-driveN systems, 2025

2024

AC4: Algebraic Computation Checker for Circuit Constraints in ZKPs.

Hao Chen, Minyu Chen, Ruibang Liu, Guoqiang Li

CoRR, 2024

Can Language Models Pretend Solvers? Logic Code Simulation with LLMs.

Minyu Chen, Guoqiang Li, Ling-I Wu, Ruibang Liu, Yuxin Su, Xi Chang, Jianxin Xue

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2024

Reduce Detection Latency of YOLOv5 to Prevent Real-Time Tracking Failures for Lightweight Robots.

Jianxin Xue, Husheng Chen, Yaohua Hu, Minyu Chen, Ling-I Wu, Xi Chang

Proceedings of the 15th Asia-Pacific Symposium on Internetware, 2024

2022

Repo4QA: Answering Coding Questions via Dense Retrieval on GitHub Repositories.

Minyu Chen, Guoqiang Li, Chen Ma, Jingyang Li, Hongfei Fu

Proceedings of the 29th International Conference on Computational Linguistics, 2022