PPaperPicks

Panagiotis Kouvaros

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

DBLP profile ↗ORCID search ↗

Venues

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

Frequent coauthors

Atri Vivek Sharma
DBLP profile ↗ORCID search ↗
×1
Yanghao Zhang
DBLP profile ↗ORCID search ↗
×1
Ben Batten
DBLP profile ↗ORCID search ↗
×1

Papers

  1. Dynamic Back-Substitution in Bound-Propagation-Based Neural Network Verification
    AAAI 2025 · Panagiotis Kouvaros
  2. Learning Robust XGBoost Ensembles for Regression Tasks
    UAI 2025 ·
    Atri Vivek Sharma
    DBLP profile ↗ORCID search ↗
  3. Scalable Neural Network Geometric Robustness Validation via Hölder Optimisation
    NeurIPS 2025 ·
    Yanghao Zhang
    DBLP profile ↗ORCID search ↗
  4. Formal Verification of Parameterised Neural-symbolic Multi-agent Systems
    IJCAI 2024 · Panagiotis Kouvaros
  5. Verification of Geometric Robustness of Neural Networks via Piecewise Linear Approximation and Lipschitz Optimisation
    ECAI 2024 ·
    Ben Batten
    DBLP profile ↗ORCID search ↗