Conditional validity and length efficiency are two crucial aspects of conformal prediction
(CP). Achieving conditional validity ensures accurate uncertainty quantification for data …

In this survey, we design formal verification and control algorithms for autonomous systems
with practical safety guarantees using conformal prediction (CP), a statistical tool for …

Neuromorphic computing leverages the sparsity of temporal data to reduce processing
energy by activating a small subset of neurons and synapses at each time step. When …

In a membership inference attack (MIA), an attacker exploits the overconfidence exhibited by
typical machine learning models to determine whether a specific data point was used to train …

Artificial Intelligence (AI) and wireless communications represent two pivotal technologies
that have transformed numerous facets of modern society. AI techniques, ranging from …