Ferdinando Cicalese
7 papers · 2014–2026 · 4 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+3 more ↓ Show less ↑
πΊοΈ Taxonomy Completionist (10) π§ Keyword Pioneer π£ Hot Topic Early Bird π Conference Polyglot (4) π Academic Marathon (10)
π
Cross-Pollinator
(10)
π
Interdisciplinary Bridge
π
Trend Setter
Conferences
ICML (3)
AAAI (2)
IJCAI (1)
NIPS (1)
Top co-authors
Keywords
neural network verification
(3)
decision tree
(2)
formal verification
(2)
learning theory
(2)
autonomous driving
(1)
worst-case analysis
(1)
cost-sensitive learning
(1)
machine teaching
(1)
approximation algorithm
(1)
bootstrap method
(1)
approximation guarantee
(1)
information theoretic clustering
(1)
random forest
(1)
safety-critical system
(1)
probabilistic counting
(1)
probabilistic guarantee
(1)
statistical guarantee
(1)
reachable set
(1)
gini impurity
(1)
automatic diagnosis
(1)
Papers
On the Probabilistic Learnability of Compact Neural Network Preimage Bounds
AAAI 2026
Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees
AAAI 2024
The #DNN-Verification Problem: Counting Unsafe Inputs for Deep Neural Networks
IJCAI 2023
Decision Trees with Short Explainable Rules
NIPS 2022
Teaching with Limited Information on the Learnerβs Behaviour
ICML 2020
New results on information theoretic clustering
ICML 2019
Diagnosis determination: decision trees optimizing simultaneously worst and expected testing cost
ICML 2014