Haokun Li

1. Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification
   2024/03/31 by Cheng Wen, Wen, Cheng, Jialun Cao +15 · 24 citations
   Computer Science · #Software Engineering Research #Software Testing and Debugging Techniques #Software System Performance and Reliability
2. Generative Low-bitwidth Data Free Quantization
   2020/03/07 by Shoukai Xu, Haokun Li, Xu, Shoukai +11 · 9 citations
   Computer Science · #Advanced Neural Network Applications #Generative Adversarial Networks and Image Synthesis #Adversarial Robustness in Machine Learning
3. From Informal to Formal -- Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs
   2025/01/27 by Jialun Cao, Cao, Jialun, Yaojie Lu +21 · 12 citations
   Computer Science · #Natural Language Processing Techniques
4. Core Context Aware Transformers for Long Context Language Modeling
   2024/12/17 by Yaofo Chen, Chen, Yaofo, Zeng You +11 · 3 citations
   Computer Science · #Computation and Language (cs.CL) #Context-Aware Activity Recognition Systems #FOS: Computer and information sciences #Machine Learning (cs.LG) #Speech and dialogue systems #Topic Modeling
5. M2DA: Multi-Modal Fusion Transformer Incorporating Driver Attention for Autonomous Driving
   2024/03/19 by Dongyang Xu, Xu, Dongyang, Haokun Li +9 · 2 citations
   Computer Science · Engineering · Neuroscience · #Artificial Intelligence (cs.AI) #Autonomous Vehicle Technology and Safety #Computer Vision and Pattern Recognition (cs.CV) #EEG and Brain-Computer Interfaces #FOS: Computer and information sciences #Gaze Tracking and Assistive Technology #Robotics (cs.RO)
6. Preguss: It Analyzes, It Specifies, It Verifies
   2025/08/20 by Zhongyi Wang, Wang, Zhongyi, Tengjie Lin +13 · 1 citation
   Computer Science · #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Model-Driven Software Engineering Techniques #Software Engineering (cs.SE)
7. Local Search for Solving Satisfiability of Polynomial Formulas
   2023/03/16 by Haokun Li, Bican Xia, Li, Haokun +3 · 1 citation
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Polynomial and algebraic computation #Symbolic Computation (cs.SC)