TY - RPRT TI - CARE: Certifiably Robust Learning with Reasoning via Variational Inference AU - Jiawei Zhang AU - Linyi Li AU - Ce Zhang AU - Bo Li PY - 2022 UR - https://arxiv.org/abs/2209.05055 ID - 2209.05055 ER -