Panagiotis Kouvaros

5 papers at tracked venues · 2 at CORE A* · active 2024–2025

DBLP profile ↗ORCID search ↗

Venues

AAAI ×1 ECAI ×1 IJCAI ×1 NeurIPS ×1 UAI ×1

Frequent coauthors

Alessio Lomuscio

×4

Benedikt Brückner

×1

Patrick Henriksen

×1

Atri Vivek Sharma

×1

Yanghao Zhang

×1

Elena Botoeva

×1

Cosmo De Bonis-Campbell

×1

Ben Batten

×1

Yang Zheng

×1

Alessandro De Palma

×1

Papers

Dynamic Back-Substitution in Bound-Propagation-Based Neural Network Verification
AAAI 2025 · Panagiotis Kouvaros,
Benedikt Brückner
,
Patrick Henriksen
,
Alessio Lomuscio
Learning Robust XGBoost Ensembles for Regression Tasks
UAI 2025 ·
Atri Vivek Sharma
, Panagiotis Kouvaros,
Alessio Lomuscio
Scalable Neural Network Geometric Robustness Validation via Hölder Optimisation
NeurIPS 2025 ·
Yanghao Zhang
, Panagiotis Kouvaros,
Alessio Lomuscio
Formal Verification of Parameterised Neural-symbolic Multi-agent Systems
IJCAI 2024 · Panagiotis Kouvaros,
Elena Botoeva
,
Cosmo De Bonis-Campbell
Verification of Geometric Robustness of Neural Networks via Piecewise Linear Approximation and Lipschitz Optimisation
ECAI 2024 ·
Ben Batten
,
Yang Zheng
,
Alessandro De Palma
, Panagiotis Kouvaros,
Alessio Lomuscio