TY - RPRT TI - Class-Conditional Conformal Prediction for Signal Temporal Logic Inference with Many Classes AU - Yixuan Wang AU - Danyang Li AU - Matthew Cleaveland AU - Roberto Tron AU - Mingyu Cai PY - 2026 UR - https://arxiv.org/abs/2610.14352 ID - 2610.14352 ER -