Cong Tian

1. 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 · 21 citations
   Computer Science · #Software Engineering Research #Software Testing and Debugging Techniques #Software System Performance and Reliability
2. 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
3. StructuralSleight: Automated Jailbreak Attacks on Large Language Models Utilizing Uncommon Text-Organization Structures
   2024/06/13 by Bangxin Li, Li, Bangxin, Hengrui Xing +11 · 5 citations
   Computer Science · #Adversarial Robustness in Machine Learning #Computation and Language (cs.CL) #Cryptography and Security (cs.CR) #Digital and Cyber Forensics #FOS: Computer and information sciences #Hate Speech and Cyberbullying Detection
4. Powering the Future: How Can Electrochemistry Make a Difference in Organic Synthesis?
   2020/09/24 by Tjark H. Meyer, Isaac Choi, Cong Tian +1 · 2 citations
   Chemistry · #Catalytic C–H Functionalization Methods #Radical Photochemical Reactions #Sulfur-Based Synthesis Techniques
5. Preventing Catastrophic Overfitting in Fast Adversarial Training: A Bi-level Optimization Perspective
   2024/07/17 by Zhaoxin Wang, Handing Wang, Wang, Zhaoxin +5 · 2 citations
   Engineering · #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Industrial Vision Systems and Defect Detection #Integrated Circuits and Semiconductor Failure Analysis #Machine Learning (cs.LG) #Manufacturing Process and Optimization
6. Implicit Jailbreak Attacks via Cross-Modal Information Concealment on Vision-Language Models
   2025/05/22 by Zhaoxin Wang, Handing Wang, Wang, Zhaoxin +5 · 3 citations
   Computer Science · #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #Machine Learning (cs.LG) #Multimodal Machine Learning Applications #Topic Modeling