7 citations · 15 across the 17 of their papers we have counts for
4 papers · 1 filter
Class-Conditional Conformal Prediction for Signal Temporal Logic Inference with Many Classes
Yixuan Wang, Danyang Li, Matthew Cleaveland +2
Signal Temporal Logic (STL) inference provides interpretable formulas for time series classification. For multiclass classification, however, accurate predictions do not necessaril…
Conformalized Signal Temporal Logic Inference under Covariate Shift
Yixuan Wang, Danyang Li, Matthew Cleaveland +2
Signal Temporal Logic (STL) inference learns interpretable logical rules for temporal behaviors in dynamical systems. To ensure the correctness of learned STL formulas, recent appr…
Conformal Prediction for Signal Temporal Logic Inference
Danyang Li, Yixuan Wang, Matthew Cleaveland +2
Signal Temporal Logic (STL) inference seeks to extract human-interpretable rules from time-series data, but existing methods lack formal confidence guarantees for the inferred rule…
Multi-Modal Conformal Prediction Regions with Simple Structures by Optimizing Convex Shape Templates
Renukanandan Tumu, Matthew Cleaveland, Rahul Mangharam +2
Conformal prediction is a statistical tool for producing prediction regions for machine learning models that are valid with high probability. A key component of conformal predictio…