CARE: Certifiably Robust Learning with Reasoning via Variational Inference

12 September 2022

Papers citing "CARE: Certifiably Robust Learning with Reasoning via Variational Inference"

8 / 8 papers shown

Title
SafeAuto: Knowledge-Enhanced Safe Autonomous Driving with Multimodal Foundation Models J. Zhang Xuan Yang T. Wang Yu Yao Aleksandr Petiushko B. Li 33 0 0 28 Feb 2025
KnowGraph: Knowledge-Enabled Anomaly Detection via Logical Reasoning on Graph Data Andy Zhou Xiaojun Xu Ramesh Raghunathan Alok Lal Xinze Guan Bin Yu Bo Li 25 1 0 10 Oct 2024
$R^2$ -Guard: Robust Reasoning Enabled LLM Guardrail via Knowledge-Enhanced Logical Reasoning Mintong Kang Bo-wen Li LRM 29 12 0 08 Jul 2024
COLEP: Certifiably Robust Learning-Reasoning Conformal Prediction via Probabilistic Circuits Mintong Kang Nezihe Merve Gürel Linyi Li Bo-wen Li 19 5 0 17 Mar 2024
Improving deep learning with prior knowledge and cognitive models: A survey on enhancing explainability, adversarial robustness and zero-shot learning F. Mumuni A. Mumuni AAML 25 5 0 11 Mar 2024
Trust, But Verify: A Survey of Randomized Smoothing Techniques Anupriya Kumari Devansh Bhardwaj Sukrit Jindal Sarthak Gupta AAML 21 3 0 19 Dec 2023
Pixel-wise Smoothing for Certified Robustness against Camera Motion Perturbations Hanjiang Hu Zuxin Liu Linyi Li Jiacheng Zhu Ding Zhao 23 0 0 22 Sep 2023
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 222 1,832 0 03 Feb 2017