Taolue Chen

1. Advancing Transformer Architecture in Long-Context Large Language Models: A Comprehensive Survey
   2023/11/21 by Yun-Peng Huang, Huang, Yunpeng, Jingwei Xu +18 · 16 citations
   Computer Science · Social Sciences · #Computation and Language (cs.CL) #Computational and Text Analysis Methods #FOS: Computer and information sciences #I.2.11 #I.2.6 #I.2.7 #Machine Learning (cs.LG) #Natural Language Processing Techniques #Topic Modeling
2. Chain-of-Thought in Neural Code Generation: From and For Lightweight Language Models
   2023/12/09 by Guang Yang, Yang, Guang, Yu Zhou +9 · 16 citations
   Computer Science · Materials Science · #FOS: Computer and information sciences #Machine Learning in Materials Science #Software Engineering (cs.SE) #Software Engineering Research #Topic Modeling
3. Learning Safe Neural Network Controllers with Barrier Certificates
   2020/09/18 by Hengjun Zhao, Zhao, Hengjun, Xia Zeng +7 · 7 citations
   Computer Science · Engineering · Physics and Astronomy · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Electrical engineering #Fault Detection and Control Systems #Machine Learning (cs.LG) #Model Reduction and Neural Networks #Systems and Control (eess.SY) #electronic engineering #information engineering
4. Solving String Constraints With Regex-Dependent Functions Through Transducers With Priorities And Variables
   2021/11/08 by Taolue Chen, Chen, Taolue, Alejandro Flores Lamas +15 · 9 citations
   Computer Science · #F.1.1 #F.4.1 #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO) #Natural Language Processing Techniques #Programming Languages (cs.PL) #Web Application Security Vulnerabilities #Web Data Mining and Analysis
5. Decision Procedures for Path Feasibility of String-Manipulating Programs with Complex Operations
   2018/11/07 by Taolue Chen, Chen, Taolue, Matthew Hague +7 · 7 citations
   Computer Science · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO) #Security and Verification in Computing #Software Testing and Debugging Techniques #Web Application Security Vulnerabilities
6. A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type
   2020/07/14 by Taolue Chen, Matthew Hague, Chen, Taolue +11 · 5 citations
   Computer Science · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO) #Security and Verification in Computing #Software Testing and Debugging Techniques #Web Application Security Vulnerabilities
7. The packing chromatic number of the infinite square lattice is between\n 13 and 15
   2015/10/08 by Barnaby Martin, Martin, Barnaby, Franco Raimondi +5 · 2 citations
   Biochemistry, Genetics and Molecular Biology · Computer Science · Engineering · #Combinatorics (math.CO) #DNA and Biological Computing #Discrete Mathematics (cs.DM) #FOS: Computer and information sciences #FOS: Mathematics #graph theory and CDMA systems #semigroups and automata theory
8. QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks
   2022/12/10 by Yedi Zhang, Zhe Zhao, Zhang, Yedi +9 · 3 citations
   Computer Science · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Formal Methods in Verification #Software Engineering (cs.SE) #Software Testing and Debugging Techniques
9. Assessing and Improving Syntactic Adversarial Robustness of Pre-trained Models for Code Translation
   2023/10/28 by Guang Yang, Yu Zhou, Yang, Guang +9 · 4 citations
   Computer Science · #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #Software Engineering (cs.SE) #Topic Modeling
10. What Is Decidable about String Constraints with the ReplaceAll Function
    2017/11/09 by Taolue Chen, Chen, Taolue, Yan Chen +7 · 2 citations
    Computer Science · #Advanced Malware Detection Techniques #F.1.1 #F.4.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Software Testing and Debugging Techniques #Web Application Security Vulnerabilities
11. Neuro-symbolic Learning Yielding Logical Constraints
    2024/10/28 by Zenan Li, Li, Zenan, Zhaoyu Li +12 · 3 citations
    Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Neural Networks and Applications
12. BDD4BNN: A BDD-based Quantitative Analysis Framework for Binarized Neural Networks
    2021/03/12 by Yedi Zhang, Zhe Zhao, Zhang, Yedi +7 · 1 citation
    Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Radiation Effects in Electronics #Software Engineering (cs.SE)
13. CODE-DITING: A Reasoning-Based Metric for Functional Alignment in Code Evaluation
    2025/05/26 by Guang Yang, Yang, Guang, Yu Zhou +13 · 4 citations
    Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Model-Driven Software Engineering Techniques #Software Engineering (cs.SE) #Software Engineering Research #Software Testing and Debugging Techniques
14. Defending Code Language Models against Backdoor Attacks with Deceptive Cross-Entropy Loss
    2024/07/12 by Guang Yang, Yang, Guang, Yu Zhou +11 · 2 citations
    Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Security and Verification in Computing #Advancements in Semiconductor Devices and Circuit Design
15. Softened Symbol Grounding for Neuro-symbolic Systems
    2024/03/01 by Zenan Li, Li, Zenan, Yuan Yao +11 · 1 citation
    Computer Science · Neuroscience · #Artificial Intelligence (cs.AI) #Cognitive Science and Education Research #Evolutionary Algorithms and Applications #FOS: Computer and information sciences #Machine Learning (cs.LG) #Neural Networks and Applications
16. Anchor Attention, Small Cache: Code Generation with Large Language Models
    2024/11/11 by Xiangyu Zhang, Yu Zhou, Zhang, Xiangyu +7 · 1 citation
    Computer Science · #Natural Language Processing Techniques #Topic Modeling #Speech and dialogue systems
17. SLAI T-Rex: Full-Parameter Post-training of the DeepSeek-V4 Family on Ascend SuperPOD
    2026/07/22 by Dongfang Li, Xiaodong Luo, Ruoyu Sun +64
    Computer Science · #cs.AI #cs.CL