Fetching the paper…
Reading the bibliography…
Conformal prediction has shown spurring performance in constructing statistically rigorous prediction sets for arbitrary black-box machine learning models, assuming the data is exchangeable.
Handbook of mathematical functions with formulas, graphs, and mathematical tables , volume 55
Milton Abramowitz and Irene A Stegun · 1948
Earlier work this paper cites.
The tight constant in the dvoretzky-kiefer-wolfowitz inequality
Pascal Massart · 1990
Earlier work this paper cites.
Compiling knowledge into decomposable negation normal form
Adnan Darwiche · 1999
Earlier work this paper cites.
Machine-learning applications of algorithmic randomness
Volodya Vovk, Alexander Gammerman, and Craig Saunders · 1999
Earlier work this paper cites.
Decomposable negation normal form
Adnan Darwiche · 2001
Earlier work this paper cites.
A logical approach to factoring belief networks
Adnan Darwiche · 2002
Earlier work this paper cites.
Boolean reasoning: the logic of Boolean equations
Frank Markham Brown · 2003
Earlier work this paper cites.
A differential approach to inference in bayesian networks
Adnan Darwiche · 2003
Earlier work this paper cites.
Algorithmic learning in a random world , volume 29
Vladimir Vovk, Alexander Gammerman, and Glenn Shafer · 2005
Earlier work this paper cites.
Markov logic networks
Matthew Richardson and Pedro Domingos · 2006
Earlier work this paper cites.
A tutorial on conformal prediction
Glenn Shafer and Vladimir Vovk · 2008
Earlier work this paper cites.
Man vs. computer: Benchmarking machine learning algorithms for traffic sign recognition
Johannes Stallkamp, Marc Schlipsing, Jan Salmen, and Christian Igel · 2012
Earlier work this paper cites.
Distribution-free prediction sets
Jing Lei, James Robins, and Larry Wasserman · 2013
Earlier work this paper cites.
Explaining and harnessing adversarial examples
Ian J Goodfellow, Jonathon Shlens, and Christian Szegedy · 2014
Earlier work this paper cites.
Probabilistic sentential decision diagrams
Doga Kisa, Guy Van den Broeck, Arthur Choi, and Adnan Darwiche · 2014
Earlier work this paper cites.
Learning sum-product networks with direct and indirect variable interactions
Amirmohammad Rooshenas and Daniel Lowd · 2014
Earlier work this paper cites.
Intriguing properties of neural networks
Christian Szegedy, Wojciech Zaremba, Ilya Sutskever, Joan Bruna, Dumitru Erhan, Ian J. Goodfellow, and Rob Fergus · 2014
Earlier work this paper cites.
Deep residual learning for image recognition
Kaiming He, Xiangyu Zhang, Shaoqing Ren, and Jian Sun · 2016
Earlier work this paper cites.
On relaxing determinism in arithmetic circuits
Arthur Choi and Adnan Darwiche · 2017
Earlier work this paper cites.
Large-scale identification of malicious singleton files
Bo Li, Kevin Roundy, Chris Gates, and Yevgeniy Vorobeychik · 2017
Earlier work this paper cites.
An approach to correction of erroneous links in knowledge graphs
André Melo and Heiko Paulheim · 2017
Earlier work this paper cites.
Attention is all you need
Ashish Vaswani, Noam Shazeer, Niki Parmar, Jakob Uszkoreit, Llion Jones, Aidan N Gomez, Łukasz Kaiser, and Illia Polosukhin · 2017
Earlier work this paper cites.
Differentially private data generative models
Qingrong Chen, Chong Xiang, Minhui Xue, Bo Li, Nikita Borisov, Dali Kaarfar, and Haojin Zhu · 2018
Earlier work this paper cites.
Robust physical-world attacks on deep learning visual classification
Kevin Eykholt, Ivan Evtimov, Earlence Fernandes, Bo Li, Amir Rahmati, Chaowei Xiao, Atul Prakash, Tadayoshi Kohno, and Dawn Song · 2018
Earlier work this paper cites.
On the effectiveness of interval bound propagation for training verifiably robust models
Sven Gowal, Krishnamurthy Dvijotham, Robert Stanforth, Rudy Bunel, Chongli Qin, Jonathan Uesato, Relja Arandjelovic, Timothy Mann, and Pushmeet Kohli · 2018
Cited alongside, same era.
Distribution-free predictive inference for regression
Jing Lei, Max G’Sell, Alessandro Rinaldo, Ryan J Tibshirani, and Larry Wasserman · 2018
Cited alongside, same era.
Towards deep learning models resistant to adversarial attacks
Aleksander Madry, Aleksandar Makelov, Ludwig Schmidt, Dimitris Tsipras, and Adrian Vladu · 2018
Cited alongside, same era.
Deepproblog: Neural probabilistic logic programming
Robin Manhaeve, Sebastijan Dumancic, Angelika Kimmig, Thomas Demeester, and Luc De Raedt · 2018
Cited alongside, same era.
Lipschitz-margin training: scalable certification of perturbation invariance for deep neural networks
Yusuke Tsuzuku, Issei Sato, and Masashi Sugiyama · 2018
Cited alongside, same era.
TSS: Transformation-specific smoothing for robustness certification
Linyi Li, Maurice Weber, Xiaojun Xu, Luka Rimanic, Bhavya Kailkhura, Tao Xie, Ce Zhang, and Bo Li · 2021
Later among the works it cites.
Crfl: Certifiably robust federated learning against backdoor attacks
Chulin Xie, Minghao Chen, Pin-Yu Chen, and Bo Li · 2021
Later among the works it cites.
Finite-sample efficient conformal prediction
Yachong Yang and Arun Kumar Kuchibhotla · 2021
Later among the works it cites.
Semantic probabilistic layers for neuro-symbolic learning
Kareem Ahmed, Stefano Teso, Kai-Wei Chang, Guy Van den Broeck, and Antonio Vergari · 2022
Later among the works it cites.
Conformal prediction beyond exchangeability
Rina Foygel Barber, Emmanuel J Candes, Aaditya Ramdas, and Ryan J Tibshirani · 2022
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Provable defenses against adversarial examples via the convex outer adversarial polytope
Eric Wong and Zico Kolter · 2018
Cited alongside, same era.
Zero-shot learning—a comprehensive evaluation of the good, the bad and the ugly
Yongqin Xian, Christoph H Lampert, Bernt Schiele, and Zeynep Akata · 2018
Cited alongside, same era.
Spatially transformed adversarial examples
Chaowei Xiao, Jun Yan Zhu, Bo Li, Warren He, Mingyan Liu, and Dawn Song · 2018
Cited alongside, same era.
A semantic loss function for deep learning with symbolic knowledge
Jingyi Xu, Zilu Zhang, Tal Friedman, Yitao Liang, and Guy Broeck · 2018
Cited alongside, same era.
Neural-symbolic vqa: Disentangling reasoning from vision and language understanding
Kexin Yi, Jiajun Wu, Chuang Gan, Antonio Torralba, Pushmeet Kohli, and Josh Tenenbaum · 2018
Cited alongside, same era.
Efficient neural network robustness certification with general activation functions
Huan Zhang, Tsui-Wei Weng, Pin-Yu Chen, Cho-Jui Hsieh, and Luca Daniel · 2018
Cited alongside, same era.
Certifying geometric robustness of neural networks
Mislav Balunovic, Maximilian Baader, Gagandeep Singh, Timon Gehr, and Martin Vechev · 2019
Cited alongside, same era.
Neural-symbolic learning and reasoning: A survey and interpretation
Artur d’Avila Garcez, Sebastian Bader, Howard Bowman, Luis C Lamb, Leo de Penning, BV Illuminoo, Hoifung Poon, and COPPE Gerson Zaverucha · 2022
Later among the works it cites.
Adversarially robust conformal prediction
Asaf Gendler, Tsui-Wei Weng, Luca Daniel, and Yaniv Romano · 2022
Later among the works it cites.
Tractable boolean and arithmetic circuits
P Hitzler and MK Sarker · 2022
Later among the works it cites.
Certifying some distributional fairness with subpopulation decomposition
Mintong Kang, Linyi Li, Maurice Weber, Yang Liu, Ce Zhang, and Bo Li · 2022
Later among the works it cites.
Policy smoothing for provably robust reinforcement learning
Aounon Kumar, Alexander Levine, and Soheil Feizi · 2022
Later among the works it cites.
Fairness in federated learning via core-stability
Bhaskar Ray Chaudhury, Linyi Li, Mintong Kang, Bo Li, and Ruta Mehta · 2022
Later among the works it cites.
Improved deterministic l2 robustness on CIFAR-10 and CIFAR-100
Sahil Singla, Surbhi Singla, and Soheil Feizi · 2022
Later among the works it cites.
Multi split conformal prediction
Aldo Solari and Vera Djordjilović · 2022
Later among the works it cites.
Chulin Xie, Yunhui Long, Pin-Yu Chen, and Bo Li · 2022
Later among the works it cites.
Improving certified robustness via statistical learning with logical reasoning
Zhuolin Yang, Zhikuan Zhao, Boxin Wang, Jiawei Zhang, Linyi Li, Hengzhi Pei, Bojan Karlaš, Ji Liu, Heng Guo, Ce Zhang, and Bo Li · 2022
Later among the works it cites.
Provably robust conformal prediction with improved efficiency
Anonymous · 2023
Later among the works it cites.
Probabilistically robust conformal prediction
Subhankar Ghosh, Yuanjie Shi, Taha Belkhouja, Yan Yan, Jana Doppa, and Brian Jones · 2023
Later among the works it cites.
Sensitivity analysis of individual treatment effects: A robust conformal inference approach
Ying Jin, Zhimei Ren, and Emmanuel J Candès · 2023
Later among the works it cites.
Label-assemble: Leveraging multiple datasets with partial labels
Mintong Kang, Bowen Li, Zengle Zhu, Yongyi Lu, Elliot K Fishman, Alan Yuille, and Zongwei Zhou · 2023
Later among the works it cites.
Fashapley: Fast and approximated shapley based model pruning towards certifiably robust dnns
Mintong Kang, Linyi Li, and Bo Li · 2023
Later among the works it cites.
Sok: Certified robustness for deep neural networks
Linyi Li, Tao Xie, and Bo Li · 2023
Later among the works it cites.
Decodingtrust: A comprehensive assessment of trustworthiness in gpt models
Boxin Wang, Weixin Chen, Hengzhi Pei, Chulin Xie, Mintong Kang, Chenhui Zhang, Chejian Xu, Zidi Xiong, Ritik Dutta, Rylan Schaeffer, et al · 2023
Later among the works it cites.
CARE: Certifiably robust learning with reasoning via variational inference
Jiawei Zhang, Linyi Li, Ce Zhang, and Bo Li · 2023
Later among the works it cites.