Li, Linyi
- General Cutting Planes for Bound-Propagation-Based Neural Network Verification
2022/08/11 by Zhang, Huan, Wang, Shiqi, Xu, Kaidi +5 · 9 citations
#Computer Vision and Pattern Recognition (cs.CV) #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #FOS: Mathematics #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Optimization and Control (math.OC)
- SoK: Certified Robustness for Deep Neural Networks
2020/09/09 by Linyi Li, Li, Linyi, Tao Xie +3 · 4 citations
Computer Science · Medicine · #Adversarial Robustness in Machine Learning #Cardiac Arrest and Resuscitation #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML)
- Influence-Directed Explanations for Deep Convolutional Networks
2018/02/11 by K. Rustan M. Leino, Shayak Sen, Leino, Klas +7 · 3 citations
Computer Science · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Machine Learning and Data Classification
- FullStack Bench: Evaluating LLMs as Full Stack Coders
2024/11/30 by Bytedance-Seed-Foundation-Code-Team, :, Cheng, Yao +63 · 10 citations
Biochemistry, Genetics and Molecular Biology · Computer Science · #Artificial Intelligence (cs.AI) #Biomedical Text Mining and Ontologies #FOS: Computer and information sciences #Library Science and Information Systems #Software Engineering (cs.SE)
- InfiBench: Evaluating the Question-Answering Capabilities of Code Large Language Models
2024/03/11 by Li, Linyi, Geng, Shijie, Li, Zhenwen +7 · 5 citations
#FOS: Computer and information sciences #Machine Learning (cs.LG) #Software Engineering (cs.SE)
- Can pruning improve certified robustness of neural networks?
2022/06/15 by Zhangheng Li, Li, Zhangheng, Tianlong Chen +7 · 3 citations
Computer Science · #Advanced Neural Network Applications #Adversarial Robustness in Machine Learning #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Machine Learning (cs.LG)
- Fairness in Federated Learning via Core-Stability
2022/11/03 by Bhaskar Ray Chaudhury, Chaudhury, Bhaskar Ray, Linyi Li +7 · 3 citations
Computer Science · #Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Privacy-Preserving Technologies in Data
- CARE: Certifiably Robust Learning with Reasoning via Variational Inference
2022/09/12 by Zhang, Jiawei, Li, Linyi, Zhang, Ce +1 · 3 citations
#FOS: Computer and information sciences #Machine Learning (cs.LG)
- Improving Certified Robustness via Statistical Learning with Logical Reasoning
2020/02/28 by Zhuolin Yang, Zhikuan Zhao, Yang, Zhuolin +19 · 2 citations
Computer Science · #Adversarial Robustness in Machine Learning #Machine Learning and Algorithms #Anomaly Detection Techniques and Applications
- TRS: Transferability Reduced Ensemble via Encouraging Gradient Diversity and Model Smoothness
2021/04/01 by Zhuolin Yang, Linyi Li, Yang, Zhuolin +14 · 3 citations
Computer Science · Biochemistry, Genetics and Molecular Biology · #Adversarial Robustness in Machine Learning #Bacillus and Francisella bacterial research #Anomaly Detection Techniques and Applications
- CROP: Certifying Robust Policies for Reinforcement Learning through Functional Smoothing
2021/06/17 by Fan Wu, Wu, Fan, Linyi Li +9 · 2 citations
Computer Science · #Adversarial Robustness in Machine Learning #Software Testing and Debugging Techniques #Reinforcement Learning in Robotics
- Double Sampling Randomized Smoothing
2022/06/16 by Linyi Li, Li, Linyi, Jiawei Zhang +5 · 2 citations
Computer Science · Engineering · #Advanced Neural Network Applications #Adversarial Robustness in Machine Learning #Medical Imaging and Analysis
- Benchmarking LLMs' Mathematical Reasoning with Unseen Random Variables Questions
2025/01/20 by Zijin Hong, Hao Wu, Hong, Zijin +19 · 3 citations
Computer Science · #Natural Language Processing Techniques #Topic Modeling
- COLEP: Certifiably Robust Learning-Reasoning Conformal Prediction via Probabilistic Circuits
2024/03/17 by Mintong Kang, Kang, Mintong, Nezihe Merve Gürel +5 · 2 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Machine Learning and Algorithms #Machine Learning and Data Classification #Neural Networks and Applications
- TSS: Transformation-Specific Smoothing for Robustness Certification
2020/02/27 by Linyi Li, Maurice Weber, Li, Linyi +13 · 1 citation
Computer Science · Biochemistry, Genetics and Molecular Biology · #Adversarial Robustness in Machine Learning #Anomaly Detection Techniques and Applications #Bacillus and Francisella bacterial research
- The First Prompt Counts the Most! An Evaluation of Large Language Models on Iterative Example-Based Code Generation
2024/11/11 by Fu, Yingjie, Bozhou Li, Linyi Li +6 · 3 citations
Computer Science · #Model-Driven Software Engineering Techniques #Software Engineering Research #Natural Language Processing Techniques
- On the Certified Robustness for Ensemble Models and Beyond
2021/07/22 by Zhuolin Yang, Linyi Li, Yang, Zhuolin +7 · 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) #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Machine Learning (cs.LG)
- Progressive-Scale Boundary Blackbox Attack via Projective Gradient Estimation
2021/06/10 by Zhang, Jiawei, Li, Linyi, Li, Huichen +3 · 1 citation
#Computer Vision and Pattern Recognition (cs.CV) #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Machine Learning (cs.LG)
- COPA: Certifying Robust Policies for Offline Reinforcement Learning against Poisoning Attacks
2022/03/16 by Wu, Fan, Li, Linyi, Xu, Chejian +5 · 1 citation
#Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Machine Learning (cs.LG)
- TPC: Transformation-Specific Smoothing for Point Cloud Models
2022/01/30 by Wenda Chu, Chu, Wenda, Linyi Li +3 · 1 citation
Computer Science · Earth and Planetary Sciences · Engineering · #3D Shape Modeling and Analysis #3D Surveying and Cultural Heritage #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Image Processing and 3D Reconstruction #Machine Learning (cs.LG)
- Certifying Some Distributional Fairness with Subpopulation Decomposition
2022/05/31 by Kang, Mintong, Li, Linyi, Weber, Maurice +3 · 1 citation
#Computers and Society (cs.CY) #FOS: Computer and information sciences #Machine Learning (cs.LG)
- Unconstrained Model Merging for Enhanced LLM Reasoning
2024/10/17 by Yiming Zhang, Zhang, Yiming, Baoyi He +26 · 2 citations
Business, Management and Accounting · Computer Science · #Business Process Modeling and Analysis #Computation and Language (cs.CL) #FOS: Computer and information sciences #Natural Language Processing Techniques #Semantic Web and Ontologies
- SoccerNet 2024 Challenges Results
2024/09/16 by Anthony Cioppa, Silvio Giancola, Cioppa, Anthony +160 · 2 citations
Computer Science · #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Software System Performance and Reliability
- Robustness Certification of Visual Perception Models via Camera Motion Smoothing
2022/10/04 by Hanjiang Hu, Hu, Hanjiang, Zuxin Liu +7 · 1 citation
Computer Science · Engineering · Physics and Astronomy · #Advanced Optical Sensing Technologies #Advanced Vision and Imaging #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Image Processing Techniques and Applications #Machine Learning (cs.LG) #Robotics (cs.RO)
- COMMIT: Certifying Robustness of Multi-Sensor Fusion Systems against Semantic Attacks
2024/03/04 by Huang, Zijian, Chu, Wenda, Li, Linyi +2 · 1 citation
#Computer Vision and Pattern Recognition (cs.CV) #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Machine Learning (cs.LG)
- Pixel-wise Smoothing for Certified Robustness against Camera Motion Perturbations
2023/09/22 by Hu, Hanjiang, Liu, Zuxin, Li, Linyi +2 · 1 citation
#Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Robotics (cs.RO)
- Collapsed Language Models Promote Fairness
2024/10/06 by Xu, Jingxuan, Chen, Wuyang, Li, Linyi +2 · 1 citation
#Computation and Language (cs.CL) #Computers and Society (cs.CY) #FOS: Computer and information sciences