Qin, Shengchao
- Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification
2024/03/31 by Cheng Wen, Jialun Cao, Wen, Cheng +15 · 27 citations
Computer Science · #Software Engineering Research #Software Testing and Debugging Techniques #Software System Performance and Reliability
- From Informal to Formal -- Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs
2025/01/27 by Jialun Cao, Yaojie Lu, Cao, Jialun +21 · 13 citations
Computer Science · #Natural Language Processing Techniques
- ICM-Assistant: Instruction-tuning Multimodal Large Language Models for Rule-based Explainable Image Content Moderation
2024/12/24 by Mengyang Wu, Wu, Mengyang, Yuzhi Zhao +17 · 9 citations
Computer Science · #Adversarial Robustness in Machine Learning #Computation and Language (cs.CL) #Computer Vision and Pattern Recognition (cs.CV) #Digital Media Forensic Detection #FOS: Computer and information sciences #Generative Adversarial Networks and Image Synthesis
- Parf: Adaptive Parameter Refining for Abstract Interpretation
2024/09/09 by Wang, Zhongyi, Yang, Linyu, Chen, Mingshuai +6 · 3 citations
#D.2.4 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- 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)
- Bridging Natural Language and Formal Specification--Automated Translation of Software Requirements to LTL via Hierarchical Semantics Decomposition Using LLMs
2025/12/19 by Ma, Zhi, Wen, Cheng, Su, Zhexin +4 · 1 citation
#FOS: Computer and information sciences #Software Engineering (cs.SE)