Huang, Pei

1. Marabou 2.0: A Versatile Formal Analyzer of Neural Networks
   2024/01/25 by Wu, Haoze, Isac, Omri, Zeljić, Aleksandar +14 · 19 citations
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG)
2. Copyright Protection in Generative AI: A Technical Perspective
   2024/02/04 by Jie Ren, Ren, Jie, Xu Han +21 · 5 citations
   Computer Science · #Computer Vision and Pattern Recognition (cs.CV) #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Law, AI, and Intellectual Property #Machine Learning (cs.LG)
3. A Prompting-based Approach for Adversarial Example Generation and Robustness Enhancement
   2022/03/21 by Yang, Yuting, Huang, Pei, Cao, Juan +5 · 2 citations
   #Computation and Language (cs.CL) #FOS: Computer and information sciences
4. Towards Efficient Verification of Quantized Neural Networks
   2023/12/20 by Huang, Pei, Wu, Haoze, Yang, Yuting +4 · 2 citations
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG)