Shiqi Wang

1. Humanity's Last Exam
   2025/01/24 by Long Phan, Alice Gatti, Phan, Long +2240 · 9 voices · 105 citations
   #cs.LG #cs.AI #cs.CL
2. Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Complete and Incomplete Neural Network Robustness Verification
   2021/03/11 by Shiqi Wang, Wang, Shiqi, Huan Zhang +11 · 25 citations
   Computer Science · #Advanced Neural Network Applications #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #Cryptography and Security (cs.CR) #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML)
3. Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers
   2020/11/27 by Kaidi Xu, Xu, Kaidi, Huan Zhang +11 · 20 citations
   Computer Science · #Adversarial Robustness in Machine Learning #Advanced Malware Detection Techniques #Software Testing and Debugging Techniques
4. Efficient Formal Safety Analysis of Neural Networks
   2018/09/19 by Shiqi Wang, Kexin Pei, Wang, Shiqi +7 · 20 citations
   Computer Science · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Machine Learning (stat.ML)
5. Formal Security Analysis of Neural Networks using Symbolic Intervals
   2018/04/28 by Shiqi Wang, Kexin Pei, Wang, Shiqi +7 · 12 citations
   Computer Science · #Adversarial Robustness in Machine Learning #Software Testing and Debugging Techniques #Advanced Malware Detection Techniques
6. Are Diffusion Models Vulnerable to Membership Inference Attacks?
   2023/02/02 by Jinhao Duan, Duan, Jinhao, Fei Kong +7 · 18 citations
   Computer Science · #Generative Adversarial Networks and Image Synthesis #Adversarial Robustness in Machine Learning
7. Code-Aware Prompting: A study of Coverage Guided Test Generation in Regression Setting using LLM
   2024/01/31 by Gabriel Ryan, Ryan, Gabriel, Siddhartha Jain +11 · 21 citations
   Computer Science · #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning and Data Classification #Software Engineering (cs.SE)
8. Towards Open-ended Visual Quality Comparison
   2024/02/26 by Haoning Wu, Wu, Haoning, Hanwei Zhu +25 · 22 citations
   Computer Science · Physics and Astronomy · #Color Science and Applications #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Image and Video Quality Assessment #Visual Attention and Saliency Detection
9. CompGS: Efficient 3D Scene Representation via Compressed Gaussian Splatting
   2024/04/15 by Xiangrui Liu, Xinju Wu, Liu, Xiangrui +9 · 22 citations
   Computer Science · Engineering · #3D Shape Modeling and Analysis #Advanced Vision and Imaging #Computer Graphics and Visualization Techniques #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Graphics (cs.GR)
10. Multi-lingual Evaluation of Code Generation Models
    2022/10/26 by Ben Athiwaratkun, Sanjay Krishna Gouda, Athiwaratkun, Ben +47 · 13 citations
    Computer Science · #Software Engineering Research #Topic Modeling #Machine Learning and Data Classification
11. ScreenAgent: A Vision Language Model-driven Computer Control Agent
    2024/02/09 by Runliang Niu, Jindong Li, Niu, Runliang +15 · 18 citations
    Engineering · #Artificial Intelligence (cs.AI) #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Human-Computer Interaction (cs.HC) #Robotics and Automated Systems
12. Learning Generalized Spatial-Temporal Deep Feature Representation for No-Reference Video Quality Assessment
    2021/06/11 by Baoliang Chen, Lingyu Zhu, Guo Li +3 · 11 citations
    Computer Science · #Image and Video Quality Assessment #Advanced Image Processing Techniques #Image Enhancement Techniques
13. Learning Generalized Spatial-Temporal Deep Feature Representation for No-Reference Video Quality Assessment
    2020/12/27 by Baoliang Chen, Lingyu Zhu, Chen, Baoliang +7 · 9 citations
    Computer Science · #Image and Video Quality Assessment #Advanced Image Processing Techniques #Image Enhancement Techniques
14. Adaptive Image Quality Assessment via Teaching Large Multimodal Model to Compare
    2024/05/29 by Hanwei Zhu, Haoning Wu, Zhu, Hanwei +17 · 19 citations
    Computer Science · Engineering · #Advanced Image Fusion Techniques #Computer Science and Engineering #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #FOS: Electrical engineering #Image and Video Processing (eess.IV) #Industrial Vision Systems and Defect Detection #electronic engineering #information engineering
15. LeDex: Training LLMs to Better Self-Debug and Explain Code
    2024/05/28 by Nan Jiang, Xiaopeng Li, Jiang, Nan +15 · 9 citations
    Computer Science · Social Sciences · #Law, AI, and Intellectual Property #Artificial Intelligence in Law
16. Single Image Deraining: From Model-Based to Data-Driven and Beyond
    2019/12/16 by Wenhan Yang, Robby T. Tan, Yang, Wenhan +7 · 4 citations
    Computer Science · #Advanced Image Processing Techniques #Advanced Vision and Imaging #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #FOS: Electrical engineering #Image Enhancement Techniques #Image and Video Processing (eess.IV) #electronic engineering #information engineering
17. Detect and Locate: Exposing Face Manipulation by Semantic- and Noise-level Telltales
    2021/07/13 by Chenqi Kong, Baoliang Chen, Kong, Chenqi +8 · 5 citations
    Computer Science · #Face recognition and analysis #Biometric Identification and Security #Adversarial Robustness in Machine Learning
18. Pixel-Inconsistency Modeling for Image Manipulation Localization
    2023/09/30 by Chenqi Kong, Kong, Chenqi, Anwei Luo +9 · 7 citations
    Computer Science · Biochemistry, Genetics and Molecular Biology · #Digital Media Forensic Detection #Cell Image Analysis Techniques #Adversarial Robustness in Machine Learning
19. PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification
    2025/02/04 by Hongwei Li, Yuheng Tang, Li, Hongwei +5 · 11 citations
    Computer Science · Engineering · #Artificial Intelligence (cs.AI) #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Modular Robots and Swarm Intelligence #Peer-to-Peer Network Technologies #Robotics (cs.RO)
20. Bi-Directional Deep Contextual Video Compression
    2024/08/16 by Xihua Sheng, Li Li, Sheng, Xihua +5 · 7 citations
    Computer Science · #Advanced Data Compression Techniques #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Video Analysis and Summarization #Video Coding and Compression Technologies
21. Towards Next-Generation LLM-based Recommender Systems: A Survey and Beyond
    2024/10/10 by Qi Wang, Jindong Li, Wang, Qi +17 · 7 citations
    Computer Science · #Artificial Intelligence (cs.AI) #Digital Rights Management and Security #FOS: Computer and information sciences #Information Retrieval (cs.IR) #Semantic Web and Ontologies #Web Data Mining and Analysis
22. Extreme Image Compression using Fine-tuned VQGANs
    2023/07/17 by Qi Mao, Mao, Qi, Tinghan Yang +10 · 4 citations
    Computer Science · #Advanced Data Compression Techniques #Advanced Image Processing Techniques #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #FOS: Electrical engineering #Image and Signal Denoising Methods #Image and Video Processing (eess.IV) #electronic engineering #information engineering
23. Reduced-Reference Quality Assessment of Screen Content Images
    2016/08/25 by Shiqi Wang, Ke Gu, Xinfeng Zhang +3 · 3 citations
    Computer Science · #Image and Video Quality Assessment #Visual Attention and Saliency Detection #Image Enhancement Techniques
24. Interactive Face Video Coding: A Generative Compression Framework
    2023/02/20 by Bolin Chen, Chen, Bolin, Zhao Wang +9 · 4 citations
    Computer Science · #Advanced Image Processing Techniques #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Face recognition and analysis #Generative Adversarial Networks and Image Synthesis
25. PKU-DyMVHumans: A Multi-View Video Benchmark for High-Fidelity Dynamic Human Modeling
    2024/03/24 by Liwei Liao, Zheng, Xiaoyun, Xufeng Li +12 · 4 citations
    Computer Science · Engineering · #Computer Vision and Pattern Recognition (cs.CV) #Context-Aware Activity Recognition Systems #FOS: Computer and information sciences #Gait Recognition and Analysis #Human Pose and Action Recognition
26. Toward Intelligent Sensing: Intermediate Deep Feature Compression
    2019/09/25 by Zhuo Chen, Kui Fan, Shiqi Wang +5 · 2 citations
    Computer Science · #Advanced Image and Video Retrieval Techniques #Video Surveillance and Tracking Methods #Visual Attention and Saliency Detection
27. Reward Difference Optimization For Sample Reweighting In Offline RLHF
    2024/08/18 by Shiqi Wang, Z.J. Zhang, Wang, Shiqi +7 · 4 citations
    Medicine · Physics and Astronomy · #Advanced Radiotherapy Techniques #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Traumatic Brain Injury Research
28. Digital and Physical Face Attacks: Reviewing and One Step Further
    2022/09/29 by Chenqi Kong, Kong, Chenqi, Shiqi Wang +3 · 2 citations
    Computer Science · #Face recognition and analysis #Biometric Identification and Security #Digital Media Forensic Detection
29. 2AFC Prompting of Large Multimodal Models for Image Quality Assessment
    2024/02/02 by Hanwei Zhu, Xiangjie Sui, Zhu, Hanwei +11 · 3 citations
    Chemistry · Computer Science · Engineering · #Artificial Intelligence (cs.AI) #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Image and Signal Denoising Methods #Industrial Vision Systems and Defect Detection #Spectroscopy and Chemometric Analyses
30. Mitigating the Impact of False Negatives in Dense Retrieval with Contrastive Confidence Regularization
    2023/12/30 by Shiqi Wang, Yeqin Zhang, Wang, Shiqi +3 · 2 citations
    Computer Science · #Topic Modeling #Domain Adaptation and Few-Shot Learning #Multimodal Machine Learning Applications
31. MixTrain: Scalable Training of Verifiably Robust Neural Networks
    2018/11/06 by Shiqi Wang, Wang, Shiqi, Yizheng Chen +5 · 1 citation
    Computer Science · Medicine · #Adversarial Robustness in Machine Learning #Anomaly Detection Techniques and Applications #Artificial Intelligence in Healthcare and Education #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML)
32. Unrolled Decomposed Unpaired Learning for Controllable Low-Light Video Enhancement
    2024/08/22 by Lingyu Zhu, Wenhan Yang, Zhu, Lingyu +11 · 3 citations
    Computer Science · #Advanced Image Processing Techniques #Advanced Vision and Imaging #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Image Enhancement Techniques
33. Towards Compact and Robust Deep Neural Networks
    2019/06/14 by Vikash Sehwag, Shiqi Wang, Sehwag, Vikash +5 · 1 citation
    Computer Science · #Advanced Neural Network Applications #Adversarial Robustness in Machine Learning #Anomaly Detection Techniques and Applications #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML)
34. Predictive Generalized Graph Fourier Transform for Attribute Compression of Dynamic Point Clouds
    2019/08/06 by Yiqun Xu, Wei Hu, Xu, Yiqun +13 · 1 citation
    Engineering · Computer Science · #3D Shape Modeling and Analysis #Advanced Vision and Imaging #Computer Graphics and Visualization Techniques
35. Generative Visual Compression: A Review
    2024/02/03 by Bolin Chen, Shanzhi Yin, Chen, Bolin +7 · 3 citations
    Social Sciences · #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #FOS: Electrical engineering #Image and Video Processing (eess.IV) #Multimedia Communication and Technology #electronic engineering #information engineering
36. CodeFort: Robust Training for Code Generation Models
    2024/04/11 by Yuhao Zhang, Shiqi Wang, Zhang, Yuhao +19 · 2 citations
    Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Model-Driven Software Engineering Techniques #Software Engineering (cs.SE) #Software Engineering Research #Software Testing and Debugging Techniques
37. Scalable Face Image Coding via StyleGAN Prior: Towards Compression for Human-Machine Collaborative Vision
    2023/12/25 by Qi Mao, Chongyu Wang, Mao, Qi +11 · 2 citations
    Computer Science · #Advanced Image Processing Techniques #Artificial Intelligence (cs.AI) #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Face recognition and analysis #Generative Adversarial Networks and Image Synthesis #Multimedia (cs.MM)
38. CSformer: Bridging Convolution and Transformer for Compressive Sensing
    2021/12/31 by Dongjie Ye, Zhangkai Ni, Ye, Dongjie +9 · 1 citation
    Engineering · #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #FOS: Electrical engineering #Image and Video Processing (eess.IV) #Indoor and Outdoor Localization Technologies #Sparse and Compressive Sensing Techniques #Underwater Vehicles and Communication Systems #electronic engineering #information engineering
39. Cycle-Interactive Generative Adversarial Network for Robust Unsupervised Low-Light Enhancement
    2022/07/03 by Zhangkai Ni, Ni, Zhangkai, Wenhan Yang +9 · 1 citation
    Computer Science · Engineering · #Advanced Image Fusion Techniques #Advanced Image Processing Techniques #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #FOS: Electrical engineering #Image Enhancement Techniques #Image and Video Processing (eess.IV) #electronic engineering #information engineering
40. Token Alignment via Character Matching for Subword Completion
    2024/03/13 by Ben Athiwaratkun, Shiqi Wang, Athiwaratkun, Ben +17 · 1 citation
    Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Handwritten Text Recognition Techniques #Natural Language Processing Techniques #Topic Modeling
41. AI-generated Image Quality Assessment in Visual Communication
    2024/12/20 by Yu Tian, Yixuan Li, Tian, Yu +9 · 3 citations
    Engineering · #Advanced Image Fusion Techniques
42. Video Quality Assessment for Spatio-Temporal Resolution Adaptive Coding
    2024/02/23 by Hanwei Zhu, Baoliang Chen, Lingyu Zhu +3 · 1 citation
    Computer Science · #Image and Video Quality Assessment #Advanced Data Compression Techniques #Advanced Image Processing Techniques
43. Perceptual Quality Assessment of Face Video Compression: A Benchmark and An Effective Method
    2023/04/14 by Yixuan Li, Li, Yixuan, Bolin Chen +8 · 1 citation
    Computer Science · #Advanced Image Processing Techniques #Artificial Intelligence (cs.AI) #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #FOS: Electrical engineering #Face recognition and analysis #Image and Video Processing (eess.IV) #Image and Video Quality Assessment #Machine Learning (cs.LG) #Multimedia (cs.MM) #electronic engineering #information engineering
44. Exposing AI-generated Videos: A Benchmark Dataset and a Local-and-Global Temporal Defect Based Detection Method
    2024/05/07 by Peisong He, He, Peisong, Leyao Zhu +7 · 1 citation
    Computer Science · #Adversarial Robustness in Machine Learning #Anomaly Detection Techniques and Applications #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences
45. Perceptual Quality Assessment of 360^∘ Images Based on Generative Scanpath Representation
    2023/09/07 by Xiangjie Sui, Hanwei Zhu, Sui, Xiangjie +9 · 1 citation
    Computer Science · Engineering · #Advanced Image Fusion Techniques #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #FOS: Electrical engineering #Image and Video Processing (eess.IV) #Image and Video Quality Assessment #Visual Attention and Saliency Detection #electronic engineering #information engineering
46. Unified Coding for Both Human Perception and Generalized Machine Analytics with CLIP Supervision
    2025/01/08 by Kangsheng Yin, Quan Liu, Yin, Kangsheng +9 · 1 citation
    Computer Science · Engineering · #CCD and CMOS Imaging Sensors #Computer Vision and Pattern Recognition (cs.CV) #Digital Image Processing Techniques #FOS: Computer and information sciences #Multimedia (cs.MM) #Neural Networks and Applications
47. Deep Feature Statistics Mapping for Generalized Screen Content Image Quality Assessment
    2022/09/12 by Baoliang Chen, Hanwei Zhu, Chen, Baoliang +7 · 1 citation
    Computer Science · Engineering · #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Image and Video Quality Assessment #Industrial Vision Systems and Defect Detection
48. Perceptual Quality Assessment of 360° Images Based on Generative Scanpath Representation
    2025/01/01 by Xiangjie Sui, Hanwei Zhu, Xuelin Liu +3 · 1 citation
    Computer Science · #Image and Video Quality Assessment #Image and Video Stabilization #Visual Attention and Saliency Detection
49. UTFix: Change Aware Unit Test Repairing using LLM
    2025/03/19 by Shanto Rahman, Sachit Kuhar, Rahman, Shanto +13 · 1 citation
    Computer Science · #Cloud Computing and Resource Management #FOS: Computer and information sciences #Software Engineering (cs.SE) #Software System Performance and Reliability #Software Testing and Debugging Techniques
50. LAST: The Last Query Token Guides Visual Token Pruning for Edge-Cloud Collaborative MLLM Inference
    2026/07/30 by Feng Yang, Xinrui Ju, Keyang Zhang +6
    Computer Science · #cs.CV #cs.AI
51. RAVEN: Reinforcement-Adaptive Visibility-Graph Planning for Robust Humanoid Navigation with Collision-Free MPC
    2026/07/17 by Ruochen Hou, Shiqi Wang, Beom Jun Kim +3
    #cs.RO