这是indexloc提供的服务,不要输入任何密码

BibTeX records: Linyi Li 0001

download as .bib file

@article{DBLP:journals/pacmse/FuLLZX25,
  author       = {Yingjie Fu and
                  Bozhou Li and
                  Linyi Li and
                  Wentao Zhang and
                  Tao Xie},
  title        = {The First Prompt Counts the Most! An Evaluation of Large Language
                  Models on Iterative Example-Based Code Generation},
  journal      = {Proc. {ACM} Softw. Eng.},
  volume       = {2},
  number       = {{ISSTA}},
  pages        = {1583--1606},
  year         = {2025},
  url          = {https://doi.org/10.1145/3728947},
  doi          = {10.1145/3728947},
  timestamp    = {Thu, 11 Sep 2025 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pacmse/FuLLZX25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/LiC00W25,
  author       = {Zhangheng Li and
                  Tianlong Chen and
                  Linyi Li and
                  Bo Li and
                  Zhangyang Wang},
  title        = {Sparse Transfer Learning Accelerates and Enhances Certified Robustness:
                  {A} Comprehensive Study},
  booktitle    = {AAAI-25, Sponsored by the Association for the Advancement of Artificial
                  Intelligence, February 25 - March 4, 2025, Philadelphia, PA, {USA}},
  pages        = {5084--5091},
  year         = {2025},
  crossref     = {DBLP:conf/aaai/2025},
  url          = {https://doi.org/10.1609/aaai.v39i5.32539},
  doi          = {10.1609/AAAI.V39I5.32539},
  timestamp    = {Mon, 12 May 2025 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/LiC00W25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/0002CLXL25,
  author       = {Zijian Huang and
                  Wenda Chu and
                  Linyi Li and
                  Chejian Xu and
                  Bo Li},
  title        = {{COMMIT:} Certifying Robustness of Multi-Sensor Fusion Systems Against
                  Semantic Attacks},
  booktitle    = {AAAI-25, Sponsored by the Association for the Advancement of Artificial
                  Intelligence, February 25 - March 4, 2025, Philadelphia, PA, {USA}},
  pages        = {17528--17536},
  year         = {2025},
  crossref     = {DBLP:conf/aaai/2025},
  url          = {https://doi.org/10.1609/aaai.v39i17.33927},
  doi          = {10.1609/AAAI.V39I17.33927},
  timestamp    = {Thu, 17 Apr 2025 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/0002CLXL25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2501-07487,
  author       = {Tao Xie and
                  David Harel and
                  Dezhi Ran and
                  Zhenwen Li and
                  Maoliang Li and
                  Zhi Yang and
                  Leye Wang and
                  Xiang Chen and
                  Ying Zhang and
                  Wentao Zhang and
                  Meng Li and
                  Chen Zhang and
                  Linyi Li and
                  Assaf Marron},
  title        = {Data and System Perspectives of Sustainable Artificial Intelligence},
  journal      = {CoRR},
  volume       = {abs/2501.07487},
  year         = {2025},
  url          = {https://doi.org/10.48550/arXiv.2501.07487},
  doi          = {10.48550/ARXIV.2501.07487},
  eprinttype    = {arXiv},
  eprint       = {2501.07487},
  timestamp    = {Tue, 12 Aug 2025 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2501-07487.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2510-07740,
  author       = {Dezhi Ran and
                  Yuan Cao and
                  Mengzhou Wu and
                  Simin Chen and
                  Yuzhe Guo and
                  Jun Ren and
                  Zihe Song and
                  Hao Yu and
                  Jialei Wei and
                  Linyi Li and
                  Wei Yang and
                  Baishakhi Ray and
                  Tao Xie},
  title        = {AppForge: From Assistant to Independent Developer - Are GPTs Ready
                  for Software Development?},
  journal      = {CoRR},
  volume       = {abs/2510.07740},
  year         = {2025},
  url          = {https://doi.org/10.48550/arXiv.2510.07740},
  doi          = {10.48550/ARXIV.2510.07740},
  eprinttype    = {arXiv},
  eprint       = {2510.07740},
  timestamp    = {Wed, 12 Nov 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2510-07740.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aistats/HuLLZZ24,
  author       = {Hanjiang Hu and
                  Zuxin Liu and
                  Linyi Li and
                  Jiacheng Zhu and
                  Ding Zhao},
  title        = {Pixel-wise Smoothing for Certified Robustness against Camera Motion
                  Perturbations},
  booktitle    = {International Conference on Artificial Intelligence and Statistics,
                  2-4 May 2024, Palau de Congressos, Valencia, Spain},
  pages        = {217--225},
  year         = {2024},
  crossref     = {DBLP:conf/aistats/2024},
  url          = {https://proceedings.mlr.press/v238/hu24a.html},
  timestamp    = {Thu, 15 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aistats/HuLLZZ24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclr/KangGL024,
  author       = {Mintong Kang and
                  Nezihe Merve G{\"{u}}rel and
                  Linyi Li and
                  Bo Li},
  title        = {{COLEP:} Certifiably Robust Learning-Reasoning Conformal Prediction
                  via Probabilistic Circuits},
  booktitle    = {The Twelfth International Conference on Learning Representations,
                  {ICLR} 2024, Vienna, Austria, May 7-11, 2024},
  year         = {2024},
  crossref     = {DBLP:conf/iclr/2024},
  url          = {https://openreview.net/forum?id=XN6ZPINdSg},
  timestamp    = {Thu, 15 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclr/KangGL024.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/ShuXWCCX0024,
  author       = {Youwei Shu and
                  Xi Xiao and
                  Derui Wang and
                  Yuxin Cao and
                  Siji Chen and
                  Jason Xue and
                  Linyi Li and
                  Bo Li},
  title        = {Effects of Exponential Gaussian Distribution on (Double Sampling)
                  Randomized Smoothing},
  booktitle    = {Forty-first International Conference on Machine Learning, {ICML} 2024,
                  Vienna, Austria, July 21-27, 2024},
  year         = {2024},
  crossref     = {DBLP:conf/icml/2024},
  url          = {https://openreview.net/forum?id=IxZ4xaHSYG},
  timestamp    = {Thu, 17 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icml/ShuXWCCX0024.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/0001GLHYHNW0Y24,
  author       = {Linyi Li and
                  Shijie Geng and
                  Zhenwen Li and
                  Yibo He and
                  Hao Yu and
                  Ziyue Hua and
                  Guanghan Ning and
                  Siwei Wang and
                  Tao Xie and
                  Hongxia Yang},
  title        = {InfiBench: Evaluating the Question-Answering Capabilities of Code
                  Large Language Models},
  booktitle    = {Advances in Neural Information Processing Systems 38: Annual Conference
                  on Neural Information Processing Systems 2024, NeurIPS 2024, Vancouver,
                  BC, Canada, December 10 - 15, 2024},
  year         = {2024},
  crossref     = {DBLP:conf/nips/2024},
  url          = {http://papers.nips.cc/paper\_files/paper/2024/hash/e888eb9400fe14bb70e057aa1d719188-Abstract-Datasets\_and\_Benchmarks\_Track.html},
  timestamp    = {Mon, 29 Sep 2025 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nips/0001GLHYHNW0Y24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-02329,
  author       = {Zijian Huang and
                  Wenda Chu and
                  Linyi Li and
                  Chejian Xu and
                  Bo Li},
  title        = {{COMMIT:} Certifying Robustness of Multi-Sensor Fusion Systems against
                  Semantic Attacks},
  journal      = {CoRR},
  volume       = {abs/2403.02329},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2403.02329},
  doi          = {10.48550/ARXIV.2403.02329},
  eprinttype    = {arXiv},
  eprint       = {2403.02329},
  timestamp    = {Thu, 15 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2403-02329.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-11348,
  author       = {Mintong Kang and
                  Nezihe Merve G{\"{u}}rel and
                  Linyi Li and
                  Bo Li},
  title        = {{COLEP:} Certifiably Robust Learning-Reasoning Conformal Prediction
                  via Probabilistic Circuits},
  journal      = {CoRR},
  volume       = {abs/2403.11348},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2403.11348},
  doi          = {10.48550/ARXIV.2403.11348},
  eprinttype    = {arXiv},
  eprint       = {2403.11348},
  timestamp    = {Thu, 15 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2403-11348.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2404-07940,
  author       = {Linyi Li and
                  Shijie Geng and
                  Zhenwen Li and
                  Yibo He and
                  Hao Yu and
                  Ziyue Hua and
                  Guanghan Ning and
                  Siwei Wang and
                  Tao Xie and
                  Hongxia Yang},
  title        = {InfiCoder-Eval: Systematically Evaluating the Question-Answering Capabilities
                  of Code Large Language Models},
  journal      = {CoRR},
  volume       = {abs/2404.07940},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2404.07940},
  doi          = {10.48550/ARXIV.2404.07940},
  eprinttype    = {arXiv},
  eprint       = {2404.07940},
  timestamp    = {Mon, 29 Sep 2025 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2404-07940.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2406-02309,
  author       = {Youwei Shu and
                  Xi Xiao and
                  Derui Wang and
                  Yuxin Cao and
                  Siji Chen and
                  Jason Xue and
                  Linyi Li and
                  Bo Li},
  title        = {Effects of Exponential Gaussian Distribution on (Double Sampling)
                  Randomized Smoothing},
  journal      = {CoRR},
  volume       = {abs/2406.02309},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2406.02309},
  doi          = {10.48550/ARXIV.2406.02309},
  eprinttype    = {arXiv},
  eprint       = {2406.02309},
  timestamp    = {Thu, 17 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2406-02309.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2411-06774,
  author       = {Yingjie Fu and
                  Bozhou Li and
                  Linyi Li and
                  Wentao Zhang and
                  Tao Xie},
  title        = {The First Prompt Counts the Most! An Evaluation of Large Language
                  Models on Iterative Example-based Code Generation},
  journal      = {CoRR},
  volume       = {abs/2411.06774},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2411.06774},
  doi          = {10.48550/ARXIV.2411.06774},
  eprinttype    = {arXiv},
  eprint       = {2411.06774},
  timestamp    = {Mon, 11 Aug 2025 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2411-06774.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tmlr/LiCLLW23,
  author       = {Zhangheng Li and
                  Tianlong Chen and
                  Linyi Li and
                  Bo Li and
                  Zhangyang Wang},
  title        = {Can Pruning Improve Certified Robustness of Neural Networks?},
  journal      = {Trans. Mach. Learn. Res.},
  volume       = {2023},
  year         = {2023},
  url          = {https://openreview.net/forum?id=6IFi2soduD},
  timestamp    = {Mon, 12 May 2025 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tmlr/LiCLLW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/LiZRXX23,
  author       = {Linyi Li and
                  Yuhao Zhang and
                  Luyao Ren and
                  Yingfei Xiong and
                  Tao Xie},
  title        = {Reliability Assurance for Deep Neural Network Architectures Against
                  Numerical Defects},
  booktitle    = {45th {IEEE/ACM} International Conference on Software Engineering,
                  {ICSE} 2023, Melbourne, Australia, May 14-20, 2023},
  pages        = {1827--1839},
  year         = {2023},
  crossref     = {DBLP:conf/icse/2023},
  url          = {https://doi.org/10.1109/ICSE48619.2023.00156},
  doi          = {10.1109/ICSE48619.2023.00156},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/LiZRXX23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/satml/ZhangL0023,
  author       = {Jiawei Zhang and
                  Linyi Li and
                  Ce Zhang and
                  Bo Li},
  title        = {{CARE:} Certifiably Robust Learning with Reasoning via Variational
                  Inference},
  booktitle    = {2023 {IEEE} Conference on Secure and Trustworthy Machine Learning,
                  SaTML 2023, Raleigh, NC, USA, February 8-10, 2023},
  pages        = {554--574},
  year         = {2023},
  crossref     = {DBLP:conf/satml/2023},
  url          = {https://doi.org/10.1109/SaTML54575.2023.00043},
  doi          = {10.1109/SATML54575.2023.00043},
  timestamp    = {Mon, 10 Nov 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/satml/ZhangL0023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/satml/KangL023,
  author       = {Mintong Kang and
                  Linyi Li and
                  Bo Li},
  title        = {FaShapley: Fast and Approximated Shapley Based Model Pruning Towards
                  Certifiably Robust DNNs},
  booktitle    = {2023 {IEEE} Conference on Secure and Trustworthy Machine Learning,
                  SaTML 2023, Raleigh, NC, USA, February 8-10, 2023},
  pages        = {575--592},
  year         = {2023},
  crossref     = {DBLP:conf/satml/2023},
  url          = {https://doi.org/10.1109/SaTML54575.2023.00044},
  doi          = {10.1109/SATML54575.2023.00044},
  timestamp    = {Thu, 15 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/satml/KangL023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/LiXL23,
  author       = {Linyi Li and
                  Tao Xie and
                  Bo Li},
  title        = {SoK: Certified Robustness for Deep Neural Networks},
  booktitle    = {44th {IEEE} Symposium on Security and Privacy, {SP} 2023, San Francisco,
                  CA, USA, May 21-25, 2023},
  pages        = {1289--1310},
  year         = {2023},
  crossref     = {DBLP:conf/sp/2023},
  url          = {https://doi.org/10.1109/SP46215.2023.10179303},
  doi          = {10.1109/SP46215.2023.10179303},
  timestamp    = {Thu, 15 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sp/LiXL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-06086,
  author       = {Linyi Li and
                  Yuhao Zhang and
                  Luyao Ren and
                  Yingfei Xiong and
                  Tao Xie},
  title        = {Reliability Assurance for Deep Neural Network Architectures Against
                  Numerical Defects},
  journal      = {CoRR},
  volume       = {abs/2302.06086},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2302.06086},
  doi          = {10.48550/ARXIV.2302.06086},
  eprinttype    = {arXiv},
  eprint       = {2302.06086},
  timestamp    = {Thu, 15 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2302-06086.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-13150,
  author       = {Hanjiang Hu and
                  Zuxin Liu and
                  Linyi Li and
                  Jiacheng Zhu and
                  Ding Zhao},
  title        = {Pixel-wise Smoothing for Certified Robustness against Camera Motion
                  Perturbations},
  journal      = {CoRR},
  volume       = {abs/2309.13150},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2309.13150},
  doi          = {10.48550/ARXIV.2309.13150},
  eprinttype    = {arXiv},
  eprint       = {2309.13150},
  timestamp    = {Thu, 15 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2309-13150.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/corl/HuLLZZ22,
  author       = {Hanjiang Hu and
                  Zuxin Liu and
                  Linyi Li and
                  Jiacheng Zhu and
                  Ding Zhao},
  title        = {Robustness Certification of Visual Perception Models via Camera Motion
                  Smoothing},
  booktitle    = {Conference on Robot Learning, CoRL 2022, 14-18 December 2022, Auckland,
                  New Zealand},
  pages        = {1309--1320},
  year         = {2022},
  crossref     = {DBLP:conf/corl/2022},
  url          = {https://proceedings.mlr.press/v205/hu23b.html},
  timestamp    = {Thu, 15 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/corl/HuLLZZ22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclr/WuL0KKZ022,
  author       = {Fan Wu and
                  Linyi Li and
                  Huan Zhang and
                  Bhavya Kailkhura and
                  Krishnaram Kenthapadi and
                  Ding Zhao and
                  Bo Li},
  title        = {{COPA:} Certifying Robust Policies for Offline Reinforcement Learning
                  against Poisoning Attacks},
  booktitle    = {The Tenth International Conference on Learning Representations, {ICLR}
                  2022, Virtual Event, April 25-29, 2022},
  year         = {2022},
  crossref     = {DBLP:conf/iclr/2022},
  url          = {https://openreview.net/forum?id=psh0oeMSBiF},
  timestamp    = {Thu, 15 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclr/WuL0KKZ022.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclr/WuLHVZ022,
  author       = {Fan Wu and
                  Linyi Li and
                  Zijian Huang and
                  Yevgeniy Vorobeychik and
                  Ding Zhao and
                  Bo Li},
  title        = {{CROP:} Certifying Robust Policies for Reinforcement Learning through
                  Functional Smoothing},
  booktitle    = {The Tenth International Conference on Learning Representations, {ICLR}
                  2022, Virtual Event, April 25-29, 2022},
  year         = {2022},
  crossref     = {DBLP:conf/iclr/2022},
  url          = {https://openreview.net/forum?id=HOjLHrlZhmx},
  timestamp    = {Thu, 15 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclr/WuLHVZ022.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclr/YangLXK0L22,
  author       = {Zhuolin Yang and
                  Linyi Li and
                  Xiaojun Xu and
                  Bhavya Kailkhura and
                  Tao Xie and
                  Bo Li},
  title        = {On the Certified Robustness for Ensemble Models and Beyond},
  booktitle    = {The Tenth International Conference on Learning Representations, {ICLR}
                  2022, Virtual Event, April 25-29, 2022},
  year         = {2022},
  crossref     = {DBLP:conf/iclr/2022},
  url          = {https://openreview.net/forum?id=tUa4REjGjTf},
  timestamp    = {Thu, 15 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclr/YangLXK0L22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/ChuLL22,
  author       = {Wenda Chu and
                  Linyi Li and
                  Bo Li},
  title        = {{TPC:} Transformation-Specific Smoothing for Point Cloud Models},
  booktitle    = {International Conference on Machine Learning, {ICML} 2022, 17-23 July
                  2022, Baltimore, Maryland, {USA}},
  pages        = {4035--4056},
  year         = {2022},
  crossref     = {DBLP:conf/icml/2022},
  url          = {https://proceedings.mlr.press/v162/chu22b.html},
  timestamp    = {Thu, 15 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icml/ChuLL22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/LiZ0L22,
  author       = {Linyi Li and
                  Jiawei Zhang and
                  Tao Xie and
                  Bo Li},
  title        = {Double Sampling Randomized Smoothing},
  booktitle    = {International Conference on Machine Learning, {ICML} 2022, 17-23 July
                  2022, Baltimore, Maryland, {USA}},
  pages        = {13163--13208},
  year         = {2022},
  crossref     = {DBLP:conf/icml/2022},
  url          = {https://proceedings.mlr.press/v162/li22aa.html},
  timestamp    = {Mon, 10 Nov 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icml/LiZ0L22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/WeberLWZ0022,
  author       = {Maurice Weber and
                  Linyi Li and
                  Boxin Wang and
                  Zhikuan Zhao and
                  Bo Li and
                  Ce Zhang},
  title        = {Certifying Out-of-Domain Generalization for Blackbox Functions},
  booktitle    = {International Conference on Machine Learning, {ICML} 2022, 17-23 July
                  2022, Baltimore, Maryland, {USA}},
  pages        = {23527--23548},
  year         = {2022},
  crossref     = {DBLP:conf/icml/2022},
  url          = {https://proceedings.mlr.press/v162/weber22a.html},
  timestamp    = {Thu, 15 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icml/WeberLWZ0022.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/SahaUM0LHYKP22,
  author       = {Ripon K. Saha and
                  Akira Ura and
                  Sonal Mahajan and
                  Chenguang Zhu and
                  Linyi Li and
                  Yang Hu and
                  Hiroaki Yoshida and
                  Sarfraz Khurshid and
                  Mukul R. Prasad},
  title        = {{SAPIENTML:} Synthesizing Machine Learning Pipelines by Learning from
                  Human-Written Solutions},
  booktitle    = {44th {IEEE/ACM} 44th International Conference on Software Engineering,
                  {ICSE} 2022, Pittsburgh, PA, USA, May 25-27, 2022},
  pages        = {1932--1944},
  year         = {2022},
  crossref     = {DBLP:conf/icse/2022},
  url          = {https://doi.org/10.1145/3510003.3510226},
  doi          = {10.1145/3510003.3510226},
  timestamp    = {Mon, 03 Mar 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/SahaUM0LHYKP22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/ChaudhuryLK0M22,
  author       = {Bhaskar Ray Chaudhury and
                  Linyi Li and
                  Mintong Kang and
                  Bo Li and
                  Ruta Mehta},
  title        = {Fairness in Federated Learning via Core-Stability},
  booktitle    = {Advances in Neural Information Processing Systems 35: Annual Conference
                  on Neural Information Processing Systems 2022, NeurIPS 2022, New Orleans,
                  LA, USA, November 28 - December 9, 2022},
  year         = {2022},
  crossref     = {DBLP:conf/nips/2022},
  url          = {http://papers.nips.cc/paper\_files/paper/2022/hash/25e92e33ac8c35fd49f394c37f21b6da-Abstract-Conference.html},
  timestamp    = {Thu, 15 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nips/ChaudhuryLK0M22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/KangLWL0022,
  author       = {Mintong Kang and
                  Linyi Li and
                  Maurice Weber and
                  Yang Liu and
                  Ce Zhang and
                  Bo Li},
  title        = {Certifying Some Distributional Fairness with Subpopulation Decomposition},
  booktitle    = {Advances in Neural Information Processing Systems 35: Annual Conference
                  on Neural Information Processing Systems 2022, NeurIPS 2022, New Orleans,
                  LA, USA, November 28 - December 9, 2022},
  year         = {2022},
  crossref     = {DBLP:conf/nips/2022},
  url          = {http://papers.nips.cc/paper\_files/paper/2022/hash/c8e9a2beb84ab1a616edb89581c4b32a-Abstract-Conference.html},
  timestamp    = {Fri, 13 Sep 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nips/KangLWL0022.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/XuL022,
  author       = {Xiaojun Xu and
                  Linyi Li and
                  Bo Li},
  title        = {{LOT:} Layer-wise Orthogonal Training on Improving l2 Certified Robustness},
  booktitle    = {Advances in Neural Information Processing Systems 35: Annual Conference
                  on Neural Information Processing Systems 2022, NeurIPS 2022, New Orleans,
                  LA, USA, November 28 - December 9, 2022},
  year         = {2022},
  crossref     = {DBLP:conf/nips/2022},
  url          = {http://papers.nips.cc/paper\_files/paper/2022/hash/77d52754ff6b2de5a5d96ee921b6b3cd-Abstract-Conference.html},
  timestamp    = {Thu, 15 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nips/XuL022.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/YangZWZLPKLGZL22,
  author       = {Zhuolin Yang and
                  Zhikuan Zhao and
                  Boxin Wang and
                  Jiawei Zhang and
                  Linyi Li and
                  Hengzhi Pei and
                  Bojan Karlas and
                  Ji Liu and
                  Heng Guo and
                  Ce Zhang and
                  Bo Li},
  title        = {Improving Certified Robustness via Statistical Learning with Logical
                  Reasoning},
  booktitle    = {Advances in Neural Information Processing Systems 35: Annual Conference
                  on Neural Information Processing Systems 2022, NeurIPS 2022, New Orleans,
                  LA, USA, November 28 - December 9, 2022},
  year         = {2022},
  crossref     = {DBLP:conf/nips/2022},
  url          = {http://papers.nips.cc/paper\_files/paper/2022/hash/e1b248453bca182b6138b8c14a75340d-Abstract-Conference.html},
  timestamp    = {Mon, 10 Nov 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/nips/YangZWZLPKLGZL22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/ZhangWXLLJHK22,
  author       = {Huan Zhang and
                  Shiqi Wang and
                  Kaidi Xu and
                  Linyi Li and
                  Bo Li and
                  Suman Jana and
                  Cho{-}Jui Hsieh and
                  J. Zico Kolter},
  title        = {General Cutting Planes for Bound-Propagation-Based Neural Network
                  Verification},
  booktitle    = {Advances in Neural Information Processing Systems 35: Annual Conference
                  on Neural Information Processing Systems 2022, NeurIPS 2022, New Orleans,
                  LA, USA, November 28 - December 9, 2022},
  year         = {2022},
  crossref     = {DBLP:conf/nips/2022},
  url          = {http://papers.nips.cc/paper\_files/paper/2022/hash/0b06c8673ebb453e5e468f7743d8f54e-Abstract-Conference.html},
  timestamp    = {Thu, 15 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nips/ZhangWXLLJHK22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-12733,
  author       = {Wenda Chu and
                  Linyi Li and
                  Bo Li},
  title        = {{TPC:} Transformation-Specific Smoothing for Point Cloud Models},
  journal      = {CoRR},
  volume       = {abs/2201.12733},
  year         = {2022},
  url          = {https://arxiv.org/abs/2201.12733},
  eprinttype    = {arXiv},
  eprint       = {2201.12733},
  timestamp    = {Thu, 15 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2201-12733.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-01679,
  author       = {Maurice Weber and
                  Linyi Li and
                  Boxin Wang and
                  Zhikuan Zhao and
                  Bo Li and
                  Ce Zhang},
  title        = {Certifying Out-of-Domain Generalization for Blackbox Functions},
  journal      = {CoRR},
  volume       = {abs/2202.01679},
  year         = {2022},
  url          = {https://arxiv.org/abs/2202.01679},
  eprinttype    = {arXiv},
  eprint       = {2202.01679},
  timestamp    = {Thu, 15 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2202-01679.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-10451,
  author       = {Ripon K. Saha and
                  Akira Ura and
                  Sonal Mahajan and
                  Chenguang Zhu and
                  Linyi Li and
                  Yang Hu and
                  Hiroaki Yoshida and
                  Sarfraz Khurshid and
                  Mukul R. Prasad},
  title        = {SapientML: Synthesizing Machine Learning Pipelines by Learning from
                  Human-Written Solutions},
  journal      = {CoRR},
  volume       = {abs/2202.10451},
  year         = {2022},
  url          = {https://arxiv.org/abs/2202.10451},
  eprinttype    = {arXiv},
  eprint       = {2202.10451},
  timestamp    = {Thu, 15 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2202-10451.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-08398,
  author       = {Fan Wu and
                  Linyi Li and
                  Chejian Xu and
                  Huan Zhang and
                  Bhavya Kailkhura and
                  Krishnaram Kenthapadi and
                  Ding Zhao and
                  Bo Li},
  title        = {{COPA:} Certifying Robust Policies for Offline Reinforcement Learning
                  against Poisoning Attacks},
  journal      = {CoRR},
  volume       = {abs/2203.08398},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2203.08398},
  doi          = {10.48550/ARXIV.2203.08398},
  eprinttype    = {arXiv},
  eprint       = {2203.08398},
  timestamp    = {Sat, 06 Sep 2025 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2203-08398.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-15494,
  author       = {Mintong Kang and
                  Linyi Li and
                  Maurice Weber and
                  Yang Liu and
                  Ce Zhang and
                  Bo Li},
  title        = {Certifying Some Distributional Fairness with Subpopulation Decomposition},
  journal      = {CoRR},
  volume       = {abs/2205.15494},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2205.15494},
  doi          = {10.48550/ARXIV.2205.15494},
  eprinttype    = {arXiv},
  eprint       = {2205.15494},
  timestamp    = {Fri, 13 Sep 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2205-15494.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-07311,
  author       = {Zhangheng Li and
                  Tianlong Chen and
                  Linyi Li and
                  Bo Li and
                  Zhangyang Wang},
  title        = {Can pruning improve certified robustness of neural networks?},
  journal      = {CoRR},
  volume       = {abs/2206.07311},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2206.07311},
  doi          = {10.48550/ARXIV.2206.07311},
  eprinttype    = {arXiv},
  eprint       = {2206.07311},
  timestamp    = {Mon, 12 May 2025 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2206-07311.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-07912,
  author       = {Linyi Li and
                  Jiawei Zhang and
                  Tao Xie and
                  Bo Li},
  title        = {Double Sampling Randomized Smoothing},
  journal      = {CoRR},
  volume       = {abs/2206.07912},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2206.07912},
  doi          = {10.48550/ARXIV.2206.07912},
  eprinttype    = {arXiv},
  eprint       = {2206.07912},
  timestamp    = {Mon, 10 Nov 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2206-07912.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-10265,
  author       = {Wenda Chu and
                  Chulin Xie and
                  Boxin Wang and
                  Linyi Li and
                  Lang Yin and
                  Han Zhao and
                  Bo Li},
  title        = {{FOCUS:} Fairness via Agent-Awareness for Federated Learning on Heterogeneous
                  Data},
  journal      = {CoRR},
  volume       = {abs/2207.10265},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2207.10265},
  doi          = {10.48550/ARXIV.2207.10265},
  eprinttype    = {arXiv},
  eprint       = {2207.10265},
  timestamp    = {Thu, 15 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2207-10265.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-05740,
  author       = {Huan Zhang and
                  Shiqi Wang and
                  Kaidi Xu and
                  Linyi Li and
                  Bo Li and
                  Suman Jana and
                  Cho{-}Jui Hsieh and
                  J. Zico Kolter},
  title        = {General Cutting Planes for Bound-Propagation-Based Neural Network
                  Verification},
  journal      = {CoRR},
  volume       = {abs/2208.05740},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2208.05740},
  doi          = {10.48550/ARXIV.2208.05740},
  eprinttype    = {arXiv},
  eprint       = {2208.05740},
  timestamp    = {Thu, 15 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2208-05740.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-05055,
  author       = {Jiawei Zhang and
                  Linyi Li and
                  Ce Zhang and
                  Bo Li},
  title        = {{CARE:} Certifiably Robust Learning with Reasoning via Variational
                  Inference},
  journal      = {CoRR},
  volume       = {abs/2209.05055},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2209.05055},
  doi          = {10.48550/ARXIV.2209.05055},
  eprinttype    = {arXiv},
  eprint       = {2209.05055},
  timestamp    = {Mon, 10 Nov 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2209-05055.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-04625,
  author       = {Hanjiang Hu and
                  Zuxin Liu and
                  Linyi Li and
                  Jiacheng Zhu and
                  Ding Zhao},
  title        = {Robustness Certification of Visual Perception Models via Camera Motion
                  Smoothing},
  journal      = {CoRR},
  volume       = {abs/2210.04625},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2210.04625},
  doi          = {10.48550/ARXIV.2210.04625},
  eprinttype    = {arXiv},
  eprint       = {2210.04625},
  timestamp    = {Thu, 15 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2210-04625.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-11620,
  author       = {Xiaojun Xu and
                  Linyi Li and
                  Bo Li},
  title        = {{LOT:} Layer-wise Orthogonal Training on Improving l2 Certified Robustness},
  journal      = {CoRR},
  volume       = {abs/2210.11620},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2210.11620},
  doi          = {10.48550/ARXIV.2210.11620},
  eprinttype    = {arXiv},
  eprint       = {2210.11620},
  timestamp    = {Thu, 15 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2210-11620.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-02091,
  author       = {Bhaskar Ray Chaudhury and
                  Linyi Li and
                  Mintong Kang and
                  Bo Li and
                  Ruta Mehta},
  title        = {Fairness in Federated Learning via Core-Stability},
  journal      = {CoRR},
  volume       = {abs/2211.02091},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2211.02091},
  doi          = {10.48550/ARXIV.2211.02091},
  eprinttype    = {arXiv},
  eprint       = {2211.02091},
  timestamp    = {Thu, 15 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2211-02091.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aistats/LiLXZYL21,
  author       = {Huichen Li and
                  Linyi Li and
                  Xiaojun Xu and
                  Xiaolu Zhang and
                  Shuang Yang and
                  Bo Li},
  title        = {Nonlinear Projection Based Gradient Estimation for Query Efficient
                  Blackbox Attacks},
  booktitle    = {The 24th International Conference on Artificial Intelligence and Statistics,
                  {AISTATS} 2021, April 13-15, 2021, Virtual Event},
  pages        = {3142--3150},
  year         = {2021},
  crossref     = {DBLP:conf/aistats/2021},
  url          = {http://proceedings.mlr.press/v130/li21f.html},
  timestamp    = {Thu, 15 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aistats/LiLXZYL21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/LiWXRK00021,
  author       = {Linyi Li and
                  Maurice Weber and
                  Xiaojun Xu and
                  Luka Rimanic and
                  Bhavya Kailkhura and
                  Tao Xie and
                  Ce Zhang and
                  Bo Li},
  title        = {{TSS:} Transformation-Specific Smoothing for Robustness Certification},
  booktitle    = {{CCS} '21: 2021 {ACM} {SIGSAC} Conference on Computer and Communications
                  Security, Virtual Event, Republic of Korea, November 15 - 19, 2021},
  pages        = {535--557},
  year         = {2021},
  crossref     = {DBLP:conf/ccs/2021},
  url          = {https://doi.org/10.1145/3460120.3485258},
  doi          = {10.1145/3460120.3485258},
  timestamp    = {Sat, 06 Sep 2025 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ccs/LiWXRK00021.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/ZhangLLZYL21,
  author       = {Jiawei Zhang and
                  Linyi Li and
                  Huichen Li and
                  Xiaolu Zhang and
                  Shuang Yang and
                  Bo Li},
  title        = {Progressive-Scale Boundary Blackbox Attack via Projective Gradient
                  Estimation},
  booktitle    = {Proceedings of the 38th International Conference on Machine Learning,
                  {ICML} 2021, 18-24 July 2021, Virtual Event},
  pages        = {12479--12490},
  year         = {2021},
  crossref     = {DBLP:conf/icml/2021},
  url          = {http://proceedings.mlr.press/v139/zhang21l.html},
  timestamp    = {Mon, 10 Nov 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icml/ZhangLLZYL21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/YangLXZCZRZL21,
  author       = {Zhuolin Yang and
                  Linyi Li and
                  Xiaojun Xu and
                  Shiliang Zuo and
                  Qian Chen and
                  Pan Zhou and
                  Benjamin I. P. Rubinstein and
                  Ce Zhang and
                  Bo Li},
  title        = {{TRS:} Transferability Reduced Ensemble via Promoting Gradient Diversity
                  and Model Smoothness},
  booktitle    = {Advances in Neural Information Processing Systems 34: Annual Conference
                  on Neural Information Processing Systems 2021, NeurIPS 2021, December
                  6-14, 2021, virtual},
  pages        = {17642--17655},
  year         = {2021},
  crossref     = {DBLP:conf/nips/2021},
  url          = {https://proceedings.neurips.cc/paper/2021/hash/937936029af671cf479fa893db91cbdd-Abstract.html},
  timestamp    = {Thu, 15 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nips/YangLXZCZRZL21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-13184,
  author       = {Huichen Li and
                  Linyi Li and
                  Xiaojun Xu and
                  Xiaolu Zhang and
                  Shuang Yang and
                  Bo Li},
  title        = {Nonlinear Projection Based Gradient Estimation for Query Efficient
                  Blackbox Attacks},
  journal      = {CoRR},
  volume       = {abs/2102.13184},
  year         = {2021},
  url          = {https://arxiv.org/abs/2102.13184},
  eprinttype    = {arXiv},
  eprint       = {2102.13184},
  timestamp    = {Thu, 15 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2102-13184.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-00671,
  author       = {Zhuolin Yang and
                  Linyi Li and
                  Xiaojun Xu and
                  Shiliang Zuo and
                  Qian Chen and
                  Benjamin I. P. Rubinstein and
                  Ce Zhang and
                  Bo Li},
  title        = {{TRS:} Transferability Reduced Ensemble via Encouraging Gradient Diversity
                  and Model Smoothness},
  journal      = {CoRR},
  volume       = {abs/2104.00671},
  year         = {2021},
  url          = {https://arxiv.org/abs/2104.00671},
  eprinttype    = {arXiv},
  eprint       = {2104.00671},
  timestamp    = {Thu, 15 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2104-00671.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-06056,
  author       = {Jiawei Zhang and
                  Linyi Li and
                  Huichen Li and
                  Xiaolu Zhang and
                  Shuang Yang and
                  Bo Li},
  title        = {Progressive-Scale Boundary Blackbox Attack via Projective Gradient
                  Estimation},
  journal      = {CoRR},
  volume       = {abs/2106.06056},
  year         = {2021},
  url          = {https://arxiv.org/abs/2106.06056},
  eprinttype    = {arXiv},
  eprint       = {2106.06056},
  timestamp    = {Mon, 10 Nov 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2106-06056.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-09292,
  author       = {Fan Wu and
                  Linyi Li and
                  Zijian Huang and
                  Yevgeniy Vorobeychik and
                  Ding Zhao and
                  Bo Li},
  title        = {{CROP:} Certifying Robust Policies for Reinforcement Learning through
                  Functional Smoothing},
  journal      = {CoRR},
  volume       = {abs/2106.09292},
  year         = {2021},
  url          = {https://arxiv.org/abs/2106.09292},
  eprinttype    = {arXiv},
  eprint       = {2106.09292},
  timestamp    = {Thu, 15 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2106-09292.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-10873,
  author       = {Zhuolin Yang and
                  Linyi Li and
                  Xiaojun Xu and
                  Bhavya Kailkhura and
                  Tao Xie and
                  Bo Li},
  title        = {On the Certified Robustness for Ensemble Models and Beyond},
  journal      = {CoRR},
  volume       = {abs/2107.10873},
  year         = {2021},
  url          = {https://arxiv.org/abs/2107.10873},
  eprinttype    = {arXiv},
  eprint       = {2107.10873},
  timestamp    = {Thu, 15 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2107-10873.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/LiLZZWWHZDX20,
  author       = {Linyi Li and
                  Zhenwen Li and
                  Weijie Zhang and
                  Jun Zhou and
                  Pengcheng Wang and
                  Jing Wu and
                  Guanghua He and
                  Xia Zeng and
                  Yuetang Deng and
                  Tao Xie},
  title        = {Clustering test steps in natural language toward automating test automation},
  booktitle    = {{ESEC/FSE} '20: 28th {ACM} Joint European Software Engineering Conference
                  and Symposium on the Foundations of Software Engineering, Virtual
                  Event, USA, November 8-13, 2020},
  pages        = {1285--1295},
  year         = {2020},
  crossref     = {DBLP:conf/sigsoft/2020},
  url          = {https://doi.org/10.1145/3368089.3417067},
  doi          = {10.1145/3368089.3417067},
  timestamp    = {Thu, 15 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/LiLZZWWHZDX20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-12398,
  author       = {Linyi Li and
                  Maurice Weber and
                  Xiaojun Xu and
                  Luka Rimanic and
                  Tao Xie and
                  Ce Zhang and
                  Bo Li},
  title        = {Provable Robust Learning Based on Transformation-Specific Smoothing},
  journal      = {CoRR},
  volume       = {abs/2002.12398},
  year         = {2020},
  url          = {https://arxiv.org/abs/2002.12398},
  eprinttype    = {arXiv},
  eprint       = {2002.12398},
  timestamp    = {Thu, 15 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2002-12398.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-04131,
  author       = {Linyi Li and
                  Xiangyu Qi and
                  Tao Xie and
                  Bo Li},
  title        = {SoK: Certified Robustness for Deep Neural Networks},
  journal      = {CoRR},
  volume       = {abs/2009.04131},
  year         = {2020},
  url          = {https://arxiv.org/abs/2009.04131},
  eprinttype    = {arXiv},
  eprint       = {2009.04131},
  timestamp    = {Thu, 15 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2009-04131.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-09384,
  author       = {Zhonghan Niu and
                  Zhaoxi Chen and
                  Linyi Li and
                  Yubin Yang and
                  Bo Li and
                  Jinfeng Yi},
  title        = {On the Limitations of Denoising Strategies as Adversarial Defenses},
  journal      = {CoRR},
  volume       = {abs/2012.09384},
  year         = {2020},
  url          = {https://arxiv.org/abs/2012.09384},
  eprinttype    = {arXiv},
  eprint       = {2012.09384},
  timestamp    = {Thu, 15 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2012-09384.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LiZL019,
  author       = {Linyi Li and
                  Zexuan Zhong and
                  Bo Li and
                  Tao Xie},
  title        = {Robustra: Training Provable Robust Neural Networks over Reference
                  Adversarial Space},
  booktitle    = {Proceedings of the Twenty-Eighth International Joint Conference on
                  Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16,
                  2019},
  pages        = {4711--4717},
  year         = {2019},
  crossref     = {DBLP:conf/ijcai/2019},
  url          = {https://doi.org/10.24963/ijcai.2019/654},
  doi          = {10.24963/IJCAI.2019/654},
  timestamp    = {Sun, 02 Nov 2025 21:27:16 +0100},
  biburl       = {https://dblp.org/rec/conf/ijcai/LiZL019.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/2025,
  editor       = {Toby Walsh and
                  Julie Shah and
                  Zico Kolter},
  title        = {AAAI-25, Sponsored by the Association for the Advancement of Artificial
                  Intelligence, February 25 - March 4, 2025, Philadelphia, PA, {USA}},
  publisher    = {{AAAI} Press},
  year         = {2025},
  url          = {https://ojs.aaai.org/index.php/AAAI/issue/view/624},
  isbn         = {978-1-57735-897-8},
  timestamp    = {Sun, 16 Nov 2025 20:18:32 +0100},
  biburl       = {https://dblp.org/rec/conf/aaai/2025.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aistats/2024,
  editor       = {Sanjoy Dasgupta and
                  Stephan Mandt and
                  Yingzhen Li},
  title        = {International Conference on Artificial Intelligence and Statistics,
                  2-4 May 2024, Palau de Congressos, Valencia, Spain},
  series       = {Proceedings of Machine Learning Research},
  volume       = {238},
  publisher    = {{PMLR}},
  year         = {2024},
  url          = {http://proceedings.mlr.press/v238/},
  timestamp    = {Sun, 16 Nov 2025 20:18:32 +0100},
  biburl       = {https://dblp.org/rec/conf/aistats/2024.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclr/2024,
  title        = {The Twelfth International Conference on Learning Representations,
                  {ICLR} 2024, Vienna, Austria, May 7-11, 2024},
  publisher    = {OpenReview.net},
  year         = {2024},
  url          = {https://openreview.net/group?id=ICLR.cc/2024/Conference},
  timestamp    = {Sun, 16 Nov 2025 20:18:32 +0100},
  biburl       = {https://dblp.org/rec/conf/iclr/2024.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icml/2024,
  title        = {Forty-first International Conference on Machine Learning, {ICML} 2024,
                  Vienna, Austria, July 21-27, 2024},
  publisher    = {OpenReview.net},
  year         = {2024},
  url          = {https://openreview.net/group?id=ICML.cc/2024/Conference},
  timestamp    = {Sun, 16 Nov 2025 20:18:32 +0100},
  biburl       = {https://dblp.org/rec/conf/icml/2024.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/nips/2024,
  editor       = {Amir Globersons and
                  Lester Mackey and
                  Danielle Belgrave and
                  Angela Fan and
                  Ulrich Paquet and
                  Jakub M. Tomczak and
                  Cheng Zhang},
  title        = {Advances in Neural Information Processing Systems 38: Annual Conference
                  on Neural Information Processing Systems 2024, NeurIPS 2024, Vancouver,
                  BC, Canada, December 10 - 15, 2024},
  year         = {2024},
  url          = {https://papers.nips.cc/paper\_files/paper/2024},
  timestamp    = {Sun, 16 Nov 2025 20:18:32 +0100},
  biburl       = {https://dblp.org/rec/conf/nips/2024.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2023,
  title        = {45th {IEEE/ACM} International Conference on Software Engineering,
                  {ICSE} 2023, Melbourne, Australia, May 14-20, 2023},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ICSE48619.2023},
  doi          = {10.1109/ICSE48619.2023},
  isbn         = {978-1-6654-5701-9},
  timestamp    = {Sun, 16 Nov 2025 20:18:32 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/2023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/satml/2023,
  title        = {2023 {IEEE} Conference on Secure and Trustworthy Machine Learning,
                  SaTML 2023, Raleigh, NC, USA, February 8-10, 2023},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/SaTML54575.2023},
  doi          = {10.1109/SATML54575.2023},
  isbn         = {978-1-6654-6300-3},
  timestamp    = {Sun, 16 Nov 2025 20:18:32 +0100},
  biburl       = {https://dblp.org/rec/conf/satml/2023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sp/2023,
  title        = {44th {IEEE} Symposium on Security and Privacy, {SP} 2023, San Francisco,
                  CA, USA, May 21-25, 2023},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/SP46215.2023},
  doi          = {10.1109/SP46215.2023},
  isbn         = {978-1-6654-9336-9},
  timestamp    = {Sun, 16 Nov 2025 20:18:32 +0100},
  biburl       = {https://dblp.org/rec/conf/sp/2023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/corl/2022,
  editor       = {Karen Liu and
                  Dana Kulic and
                  Jeffrey Ichnowski},
  title        = {Conference on Robot Learning, CoRL 2022, 14-18 December 2022, Auckland,
                  New Zealand},
  series       = {Proceedings of Machine Learning Research},
  volume       = {205},
  publisher    = {{PMLR}},
  year         = {2023},
  url          = {https://proceedings.mlr.press/v205/},
  timestamp    = {Sun, 16 Nov 2025 20:18:32 +0100},
  biburl       = {https://dblp.org/rec/conf/corl/2022.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclr/2022,
  title        = {The Tenth International Conference on Learning Representations, {ICLR}
                  2022, Virtual Event, April 25-29, 2022},
  publisher    = {OpenReview.net},
  year         = {2022},
  url          = {https://openreview.net/group?id=ICLR.cc/2022/Conference},
  timestamp    = {Sun, 16 Nov 2025 20:18:32 +0100},
  biburl       = {https://dblp.org/rec/conf/iclr/2022.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icml/2022,
  editor       = {Kamalika Chaudhuri and
                  Stefanie Jegelka and
                  Le Song and
                  Csaba Szepesv{\'{a}}ri and
                  Gang Niu and
                  Sivan Sabato},
  title        = {International Conference on Machine Learning, {ICML} 2022, 17-23 July
                  2022, Baltimore, Maryland, {USA}},
  series       = {Proceedings of Machine Learning Research},
  volume       = {162},
  publisher    = {{PMLR}},
  year         = {2022},
  url          = {http://proceedings.mlr.press/v162/},
  timestamp    = {Sun, 16 Nov 2025 20:18:32 +0100},
  biburl       = {https://dblp.org/rec/conf/icml/2022.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2022,
  title        = {44th {IEEE/ACM} 44th International Conference on Software Engineering,
                  {ICSE} 2022, Pittsburgh, PA, USA, May 25-27, 2022},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3510003},
  doi          = {10.1145/3510003},
  isbn         = {978-1-4503-9221-1},
  timestamp    = {Sun, 16 Nov 2025 20:18:32 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/2022.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/nips/2022,
  editor       = {Sanmi Koyejo and
                  S. Mohamed and
                  A. Agarwal and
                  Danielle Belgrave and
                  K. Cho and
                  A. Oh},
  title        = {Advances in Neural Information Processing Systems 35: Annual Conference
                  on Neural Information Processing Systems 2022, NeurIPS 2022, New Orleans,
                  LA, USA, November 28 - December 9, 2022},
  year         = {2022},
  url          = {https://papers.nips.cc/paper\_files/paper/2022},
  isbn         = {9781713871088},
  timestamp    = {Sun, 16 Nov 2025 20:18:32 +0100},
  biburl       = {https://dblp.org/rec/conf/nips/2022.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aistats/2021,
  editor       = {Arindam Banerjee and
                  Kenji Fukumizu},
  title        = {The 24th International Conference on Artificial Intelligence and Statistics,
                  {AISTATS} 2021, April 13-15, 2021, Virtual Event},
  series       = {Proceedings of Machine Learning Research},
  volume       = {130},
  publisher    = {{PMLR}},
  year         = {2021},
  url          = {http://proceedings.mlr.press/v130/},
  timestamp    = {Sun, 16 Nov 2025 20:18:32 +0100},
  biburl       = {https://dblp.org/rec/conf/aistats/2021.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ccs/2021,
  editor       = {Yongdae Kim and
                  Jong Kim and
                  Giovanni Vigna and
                  Elaine Shi},
  title        = {{CCS} '21: 2021 {ACM} {SIGSAC} Conference on Computer and Communications
                  Security, Virtual Event, Republic of Korea, November 15 - 19, 2021},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3460120},
  doi          = {10.1145/3460120},
  isbn         = {978-1-4503-8454-4},
  timestamp    = {Sun, 16 Nov 2025 20:18:32 +0100},
  biburl       = {https://dblp.org/rec/conf/ccs/2021.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icml/2021,
  editor       = {Marina Meila and
                  Tong Zhang},
  title        = {Proceedings of the 38th International Conference on Machine Learning,
                  {ICML} 2021, 18-24 July 2021, Virtual Event},
  series       = {Proceedings of Machine Learning Research},
  volume       = {139},
  publisher    = {{PMLR}},
  year         = {2021},
  url          = {http://proceedings.mlr.press/v139/},
  timestamp    = {Sun, 16 Nov 2025 20:18:32 +0100},
  biburl       = {https://dblp.org/rec/conf/icml/2021.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/nips/2021,
  editor       = {Marc'Aurelio Ranzato and
                  Alina Beygelzimer and
                  Yann N. Dauphin and
                  Percy Liang and
                  Jennifer Wortman Vaughan},
  title        = {Advances in Neural Information Processing Systems 34: Annual Conference
                  on Neural Information Processing Systems 2021, NeurIPS 2021, December
                  6-14, 2021, virtual},
  year         = {2021},
  url          = {https://proceedings.neurips.cc/paper/2021},
  timestamp    = {Sun, 16 Nov 2025 20:18:32 +0100},
  biburl       = {https://dblp.org/rec/conf/nips/2021.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2020,
  editor       = {Prem Devanbu and
                  Myra B. Cohen and
                  Thomas Zimmermann},
  title        = {{ESEC/FSE} '20: 28th {ACM} Joint European Software Engineering Conference
                  and Symposium on the Foundations of Software Engineering, Virtual
                  Event, USA, November 8-13, 2020},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3368089},
  doi          = {10.1145/3368089},
  isbn         = {978-1-4503-7043-1},
  timestamp    = {Sun, 16 Nov 2025 20:18:32 +0100},
  biburl       = {https://dblp.org/rec/conf/sigsoft/2020.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcai/2019,
  editor       = {Sarit Kraus},
  title        = {Proceedings of the Twenty-Eighth International Joint Conference on
                  Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16,
                  2019},
  publisher    = {ijcai.org},
  year         = {2019},
  url          = {https://doi.org/10.24963/ijcai.2019},
  doi          = {10.24963/IJCAI.2019},
  isbn         = {978-0-9992411-4-1},
  timestamp    = {Sun, 16 Nov 2025 20:18:32 +0100},
  biburl       = {https://dblp.org/rec/conf/ijcai/2019.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}