Jin Song Dong

1. DGL-KE: Training Knowledge Graph Embeddings at Scale
   2020/04/18 by Da Zheng, Xiang Song, Zheng, Da +16 · 10 citations
   Computer Science · #Advanced Graph Neural Networks #Distributed #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Parallel #Topic Modeling #and Cluster Computing (cs.DC) #cs.DC
2. The Fusion of Large Language Models and Formal Methods for Trustworthy AI Agents: A Roadmap
   2024/12/09 by Yedi Zhang, Yufan Cai, Zhang, Yedi +21 · 10 citations
   Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Software Engineering (cs.SE)
3. RegMiner: Towards Constructing a Large Regression Dataset from Code Evolution History
   2021/09/25 by Xuezhi Song, Song, Xuezhi, Yun Lin +10 · 3 citations
   Computer Science · #Software Engineering Research #Software Testing and Debugging Techniques #Software System Performance and Reliability
4. Explainable and Transferable Adversarial Attack for ML-Based Network Intrusion Detectors
   2024/01/19 by Hangsheng Zhang, Zhang, Hangsheng, Dongqi Han +13 · 3 citations
   Computer Science · #Adversarial Robustness in Machine Learning #Anomaly Detection Techniques and Applications #Explainable Artificial Intelligence (XAI)
5. A Prompting-based Approach for Adversarial Example Generation and Robustness Enhancement
   2022/03/21 by Yuting Yang, Pei Huang, Yang, Yuting +13 · 2 citations
   Computer Science · #Adversarial Robustness in Machine Learning #Computation and Language (cs.CL) #FOS: Computer and information sciences #cs.CL
6. Enhancing Model Defense Against Jailbreaks with Proactive Safety Reasoning
   2025/01/31 by Gelei Deng, Yang, Xianglin, J. Y. Shi +6 · 6 citations
   Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Information and Cyber Security #Safety Systems Engineering in Autonomy
7. MaCTG: Multi-Agent Collaborative Thought Graph for Automatic Programming
   2024/10/25 by Zixiao Zhao, Sun Jing, Zhao, Zixiao +10 · 4 citations
   Engineering · #Advanced Control Systems Optimization #Artificial intelligence #Business #Computer Vision and Pattern Recognition (cs.CV) #Computer science #Computer vision #FOS: Computer and information sciences #Image (mathematics) #Multiagent Systems (cs.MA) #Software Engineering (cs.SE)
8. Empirical Study on Transformer-based Techniques for Software Engineering
   2023/09/30 by Yan Xiao, Xinyue Zuo, Xiao, Yan +9 · 2 citations
   Computer Science · #FOS: Computer and information sciences #Software Engineering (cs.SE) #Software Engineering Research #Software Engineering Techniques and Practices #Software Reliability and Analysis Research
9. Zombie Agents: Persistent Control of Self-Evolving LLM Agents via Self-Reinforcing Injections
   2026/02/17 by Xianglin Yang, Yufei He, Shuo Ji +2 · 3 voices · 1 citation
   Computer Science · #cs.AI #cs.CR
10. Defending LVLMs Against Vision Attacks through Partial-Perception Supervision
    2024/12/17 by Qi Zhou, Tianlin Li, Zhou, Qi +11 · 2 citations
    Computer Science · Engineering · Neuroscience · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #Brain Tumor Detection and Classification #Computer Vision and Pattern Recognition (cs.CV) #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Medical Imaging and Analysis
11. Contribution Evaluation of Heterogeneous Participants in Federated Learning via Prototypical Representations
    2024/07/02 by Qi Guo, Guo, Qi, Minghao Yao +11 · 2 citations
    Computer Science · Psychology · #Artificial intelligence #Cognitive psychology #Computer science #Data science #FOS: Computer and information sciences #Human–computer interaction #Knowledge management #Machine Learning (cs.LG) #Privacy-Preserving Technologies in Data #Psychology
12. GUIPilot: A Consistency-based Mobile GUI Testing Approach for Detecting Application-specific Bugs
    2025/06/09 by Ruofan Liu, Xiwen Teoh, Liu, Ruofan +10 · 2 citations
    Computer Science · #Software Testing and Debugging Techniques #Advanced Malware Detection Techniques #Software Engineering Research
13. Towards Stealthy and Effective Backdoor Attacks on Lane Detection: A Naturalistic Data Poisoning Approach
    2025/08/04 by Yifan Liao, Liao, Yifan, Y. N. Cao +13 · 3 citations
    Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Autonomous Vehicle Technology and Safety #Vehicular Ad Hoc Networks (VANETs)
14. Fair Model Checking with Process Counter Abstraction
    2009/01/01 by Jun Sun, Yang Liu, Abhik Roychoudhury +2 · 1 citation
    Computer Science · #Advanced Software Engineering Methodologies #Formal Methods in Verification #Software Testing and Debugging Techniques
15. Fair-PP: A Synthetic Dataset for Aligning LLM with Personalized Preferences of Social Equity
    2025/05/17 by Qi Zhou, Zhou, Qi, Jie Zhang +13 · 2 citations
    Computer Science · #91C99 #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #I.2.7 #J.4 #Multimodal Machine Learning Applications #Recommender Systems and Techniques #Topic Modeling
16. Assessing Privacy Compliance of Android Third-Party SDKs
    2024/09/16 by Mark Huasong Meng, Chuan Yan, Meng, Mark Huasong +13 · 1 citation
    Computer Science · Engineering · Social Sciences · #Advanced Malware Detection Techniques #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Green IT and Sustainability #Privacy, Security, and Data Protection #Software Engineering (cs.SE)
17. RvLLM: LLM Runtime Verification with Domain Knowledge
    2025/05/24 by Yedi Zhang, Sun Yi Emma, Zhang, Yedi +5 · 2 citations
    Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Mathematics, Computing, and Information Processing #Natural Language Processing Techniques #Semantic Web and Ontologies
18. Verification of Bit-Flip Attacks against Quantized Neural Networks
    2025/02/22 by Yedi Zhang, Lei Huang, Zhang, Yedi +9 · 1 citation
    Computer Science · #Advanced Malware Detection Techniques #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Physical Unclonable Functions (PUFs) and Hardware Security
19. Caved or Convinced: Temporal Sampling Gates Claim Deference in Video Large Language Models
    2026/08/04 by Yuxin Cao, Wei Song, Jingling Xue +1
    Computer Science · #cs.MM #cs.CV
20. SpreadMark: Robust Image Watermarking via Spread-Spectrum Embedding
    2026/08/04 by Wei Song, Yuxin Cao, Zhenchang Xing +4
    Computer Science · #cs.CR #cs.CV