TY - RPRT TI - COLEP: Certifiably Robust Learning-Reasoning Conformal Prediction via Probabilistic Circuits AU - Mintong Kang AU - Nezihe Merve Gürel AU - Linyi Li AU - Bo Li PY - 2024 UR - https://arxiv.org/abs/2403.11348 ID - 2403.11348 ER -