Get started
Author

Ling-I Wu

Observed name: Wu, Ling-I
Observed institution: Shanghai Jiao Tong University
ORCID: 0009-0001-8259-2200
Observed ORCID: 0009-0001-8259-2200
OpenAlex ID: A5101334464
Enhancing automated loop invariant generation for complex programs with large language models
2025 · Ruibang Liu, Minyu Chen, et al. · Science of Computer Programming · 9
PDF
Zero-Shot Construction of Chinese Medical Knowledge Graph with GPT-3.5-turbo and GPT-4
2024 · Ling-I Wu, Yuxin Su, et al. · ACM Transactions on Management Information Systems · 7
PDF
Lightweight visual backbone network with enhanced comprehensive strength through context-aware dual attention mechanism
2025 · Jianxin Xue, Yaohua Hu, et al. · Neurocomputing · 4
DCE-LLM: Dead Code Elimination with Large Language Models
2025 · Minyu Chen, Guoqiang Li, et al. · Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies (NAACL-HLT) · 3
PDF
Zero-Shot Construction of Chinese Medical Knowledge Graph with ChatGPT
2023 · Ling-I Wu, Guoqiang Li · IEEE International Conference on Medical Artificial Intelligence (MedAI) · 3
DCoL-A: Agentic dual chain of thinking helps LLMs pretend logic solvers
2026 · Minyu Chen, Ling-I Wu, et al. · Journal of Systems Architecture · 2
Intern-S1-Pro: Scientific Multimodal Foundation Model at Trillion Scale
2026 · Zou, Yicheng, Zhu, Dongsheng, et al. · arXiv (Cornell University) · 1
PDF
Can Language Models Pretend Solvers? Logic Code Simulation with LLMs
2024 · Minyu Chen, Guoqiang Li, et al. · Lecture notes in computer science · 1
PDF
PIRTRE-C: A Two-Stage Retrieval and Reranking Enhanced Framework for Improving Chinese Psychological Counseling
2024 · Qiyang Wang, Ling-I Wu, et al. · IEEE International Conference on Medical Artificial Intelligence (MedAI) · 1
Schwarz: Solver-Aware Agentic Program Verification
2026 · Ke, Jingyu, Wu, Ling-I, et al. · arXiv (Cornell University)
PDF
Towards Automated Formal Verification of zkEVMs Using LLM-Guided Constraint Synthesis
2026 · Huang, Shichen, Jiang, Zhenghe, et al. · arXiv (Cornell University)
PDF
DEERO-prompter: Dual perspective encoding and optimized prompting framework for enhancing mathematical reasoning
2026 · Jianxin Xue, Song Qin, et al. · Expert Systems with Applications
Teacher-Aware Evolution of Heuristic Programs from Learned Optimization Policies
2026 · Chen, Minyu, Qin, Song, et al. · arXiv (Cornell University)
PDF
Think Earlier, Not Longer: Prompt Optimization via Reducing Unhealthy Exploration
2026 · Ling-I Wu, Minyu Chen, et al. · Findings of the Association for Computational Linguistics: ACL (Findings of ACL)
PDF
TipCoder: Reinforcement Learning Boosted Test-time Instruction Proposer for Code Generation
2026 · Minyu Chen, Sihao Wu, et al. · Findings of the Association for Computational Linguistics: EMNLP (Findings of EMNLP)
PDF
Certified Local Transferability for Evaluating Adversarial Attacks
2025 · Minyu Chen, Jingyang Li, et al. · IEEE Transactions on Artificial Intelligence
Less-activated visual networks to enhance friendly following ability of lightweight robots
2025 · Jianxin Xue, Husheng Chen, et al. · Empirical Software Engineering
DCE-LLM: Dead Code Elimination with Large Language Models
2025 · Chen, Minyu, Li, Guoqiang, et al. · arXiv (Cornell University)
PDF
Reduce Detection Latency of YOLOv5 to Prevent Real-Time Tracking Failures for Lightweight Robots
2024 · Jianxin Xue, Husheng Chen, et al. · Asia-Pacific Symposium on Internetware
Works count: 19
Citation count: 31
H-index: 3
I10-index:
Year
Topic
Type