Ferdinando Cicalese
7 papers
· 2014–2026
· 4 conferences
· across top CS/AI conferences
Achievements
πΊοΈ
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)