Minyu Chen

17 papers A* 1B 1Misc 1Journal 11Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
Bridging Privacy and Utility: A Verifiable Framework for Data Valuation via Zero-Knowledge Proofs.
IACR Cryptol. ePrint Arch.
Ruibang Liu, Minyu Chen, Dengji Ma, Guoqiang Li
2026 J jnl
Certified Local Transferability for Evaluating Adversarial Attacks.
IEEE Trans. Artif. Intell.
Minyu Chen, Jingyang Li, Ling-I Wu, Guoqiang Li
2026 J jnl
Enhancing automated loop invariant generation for complex programs with large language models.
Sci. Comput. Program.
Ruibang Liu, Minyu Chen, Ling-I Wu, Jingyu Ke, Guoqiang Li
2025 J jnl
ARCEAK: An Automated Rule Checking Framework Enhanced with Architectural Knowledge.
CoRR
Junyong Chen, Ling-I Wu, Minyu Chen, Xiaoying Qian, Haoze Zhu, Qiongfang Zhang, Guoqiang Li
2025 A* conf
Co-Eval: Augmenting LLM-based Evaluation with Machine Metrics.
EMNLP
Ling-I Wu, Weijie Wu, Minyu Chen, Jianxin Xue, Guoqiang Li
2025 — conf
DCE-LLM: Dead Code Elimination with Large Language Models.
NAACL (Long Papers)
Minyu Chen, Guoqiang Li, Ling-I Wu, Ruibang Liu
2025 J jnl
DCE-LLM: Dead Code Elimination with Large Language Models.
CoRR
Minyu Chen, Guoqiang Li, Ling-I Wu, Ruibang Liu
2025 J jnl
DaSAThco: Data-Aware SAT Heuristics Combinations Optimization via Large Language Models.
CoRR
Minyu Chen, Guoqiang Li
2025 J jnl
Less-activated visual networks to enhance friendly following ability of lightweight robots.
Empir. Softw. Eng.
Jianxin Xue, Husheng Chen, Yaohua Hu, Sicheng Hua, Minyu Chen, Ling-I Wu, Xi Chang
2025 J jnl
Lightweight visual backbone network with enhanced comprehensive strength through context-aware dual attention mechanism.
Neurocomputing
Jianxin Xue, Yaohua Hu, Sicheng Hua, Minyu Chen, Ling-I Wu, Xi Chang, Guoqiang Li
2025 — conf
Providing Certified Triggers in Trigger Set-Based Watermarking for Ownership Validation against Image Transformation.
ARTMAN@CCS
Jingyang Li, Minyu Chen, Guoqiang Li
2024 J jnl
AC4: Algebraic Computation Checker for Circuit Constraints in ZKPs.
CoRR
Hao Chen, Minyu Chen, Ruibang Liu, Guoqiang Li
2024 Misc conf
Can Language Models Pretend Solvers? Logic Code Simulation with LLMs.
SETTA
Minyu Chen, Guoqiang Li, Ling-I Wu, Ruibang Liu, Yuxin Su, Xi Chang, Jianxin Xue
2024 J jnl
Can Language Models Pretend Solvers? Logic Code Simulation with LLMs.
CoRR
Minyu Chen, Guoqiang Li, Ling-I Wu, Ruibang Liu, Yuxin Su, Xi Chang, Jianxin Xue
2024 J jnl
Enhancing Automated Loop Invariant Generation for Complex Programs with Large Language Models.
CoRR
Ruibang Liu, Guoqiang Li, Minyu Chen, Ling-I Wu, Jingyu Ke
2024 — conf
Reduce Detection Latency of YOLOv5 to Prevent Real-Time Tracking Failures for Lightweight Robots.
Internetware
Jianxin Xue, Husheng Chen, Yaohua Hu, Minyu Chen, Ling-I Wu, Xi Chang
2022 B conf
Repo4QA: Answering Coding Questions via Dense Retrieval on GitHub Repositories.
COLING
Minyu Chen, Guoqiang Li, Chen Ma, Jingyang Li, Hongfei Fu