Geguang Pu
- Symbolic LTLf Synthesis
2017/05/23 by Shufang Zhu, Zhu, Shufang, Lucas M. Tabajara +7 · 7 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Model-Driven Software Engineering Techniques
- FakePolisher: Making DeepFakes More Detection-Evasive by Shallow Reconstruction
2020/06/13 by Yihao Huang, Felix Juefei-Xu, Huang, Yihao +17 · 6 citations
Computer Science · #Advanced Image Processing Techniques #Computer Vision and Pattern Recognition (cs.CV) #Cryptography and Security (cs.CR) #Digital Media Forensic Detection #FOS: Computer and information sciences #Generative Adversarial Networks and Image Synthesis #Machine Learning (cs.LG)
- Experimenting a New Programming Practice with LLMs
2024/01/02 by Simiao Zhang, Jia-Ping Wang, Zhang, Simiao +9 · 11 citations
Computer Science · #FOS: Computer and information sciences #Natural Language Processing Techniques #Software Engineering (cs.SE) #Software Engineering Research #Software Testing and Debugging Techniques
- Perception-guided Jailbreak against Text-to-Image Models
2024/08/20 by Yihao Huang, Liang Le, Huang, Yihao +13 · 15 citations
Computer Science · #Adversarial Robustness in Machine Learning #Computer Vision and Pattern Recognition (cs.CV) #Digital Media Forensic Detection #Digital and Cyber Forensics #FOS: Computer and information sciences
- Efficient Universal Goal Hijacking with Semantics-guided Prompt Organization
2024/05/23 by Yihao Huang, Huang, Yihao, Chong Wang +13 · 13 citations
Business, Management and Accounting · Computer Science · Social Sciences · #Access Control and Trust #Business Process Modeling and Analysis #Computation and Language (cs.CL) #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Semantic Web and Ontologies
- FakeLocator: Robust Localization of GAN-Based Face Manipulations
2020/01/27 by Yihao Huang, Felix Juefei-Xu, Huang, Yihao +7 · 4 citations
Computer Science · #Digital Media Forensic Detection #Generative Adversarial Networks and Image Synthesis #Face recognition and analysis
- Dodging DeepFake Detection via Implicit Spatial-Domain Notch Filtering
2020/09/19 by Yihao Huang, Felix Juefei-Xu, Huang, Yihao +7 · 2 citations
Computer Science · #Adversarial Robustness in Machine Learning #Computer Vision and Pattern Recognition (cs.CV) #Cryptography and Security (cs.CR) #Digital Media Forensic Detection #FOS: Computer and information sciences #Generative Adversarial Networks and Image Synthesis #Machine Learning (cs.LG)
- A Symbolic Approach to Safety LTL Synthesis
2017/09/21 by Shufang Zhu, Zhu, Shufang, Lucas M. Tabajara +7 · 2 citations
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Model-Driven Software Engineering Techniques #Software Testing and Debugging Techniques
- ALA: Naturalness-aware Adversarial Lightness Attack
2022/01/16 by Yihao Huang, Liangru Sun, Huang, Yihao +13 · 1 citation
Computer Science · #Advanced Neural Network Applications #Adversarial Robustness in Machine Learning #Anomaly Detection Techniques and Applications #Artificial Intelligence (cs.AI) #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences
- LTLf Synthesis with Fairness and Stability Assumptions
2019/12/17 by Shufang Zhu, Giuseppe De Giacomo, Zhu, Shufang +5 · 1 citation
Computer Science · #Advanced Software Engineering Methodologies #Artificial Intelligence (cs.AI) #Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Model-Driven Software Engineering Techniques
- Improving Robustness of LiDAR-Camera Fusion Model against Weather Corruption from Fusion Strategy Perspective
2024/02/05 by Yihao Huang, Huang, Yihao, Kaiyuan Yu +13 · 1 citation
Engineering · Environmental Science · #Advanced Image Fusion Techniques #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Infrared Target Detection Methodologies #Machine Learning (cs.LG) #Remote Sensing and LiDAR Applications
- FREPA: An Automated and Formal Approach to Requirement Modeling and Analysis in Aircraft Control Domain
2023/06/02 by Jincao Feng, Weikai Miao, Feng, Jincao +19 · 1 citation
Computer Science · #Advanced Software Engineering Methodologies #FOS: Computer and information sciences #Formal Methods in Verification #Model-Driven Software Engineering Techniques #Software Engineering (cs.SE)
- Natural & Adversarial Bokeh Rendering via Circle-of-Confusion Predictive Network
2021/11/25 by Yihao Huang, Huang, Yihao, Felix Juefei-Xu +7 · 2 citations
Computer Science · Engineering · #Advanced Image Processing Techniques #Advanced Vision and Imaging #Image Processing Techniques and Applications
- Texture Re-scalable Universal Adversarial Perturbation
2024/06/10 by Yihao Huang, Qing Guo, Huang, Yihao +13 · 1 citation
Biochemistry, Genetics and Molecular Biology · Computer Science · Engineering · #Cell Image Analysis Techniques #Advanced Vision and Imaging #Industrial Vision Systems and Defect Detection
- Text Modality Oriented Image Feature Extraction for Detecting Diffusion-based DeepFake
2024/05/28 by Yang Di, Yihao Huang, Yang, Di +13 · 1 citation
Computer Science · #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Natural Language Processing Techniques
- BTOR2-Based C Program Verification via Hardware Model Checking
2026/07/20 by Xinyu Zhang, Runxuan Fang, Ziqun Bao +3
#cs.SE #cs.FL