PPaperPicks

Nicolas Troquard

4 papers at tracked venues · 1 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

IJCAI ×2AAAI ×1KR ×1

Frequent coauthors

Artem Chernobrovkin
DBLP profile ↗ORCID search ↗
×1
Marco Sälzer
DBLP profile ↗ORCID search ↗
×1
Pierre Nunn
DBLP profile ↗ORCID search ↗
×1

Papers

  1. Verifying Quantized GNNs With Readout Is Decidable But Highly Intractable
    KR 2026 ·
    Artem Chernobrovkin
    DBLP profile ↗ORCID search ↗
  2. Verifying Quantized Graph Neural Networks is PSPACE-complete
    IJCAI 2025 ·
    Marco Sälzer
    DBLP profile ↗ORCID search ↗
  3. A Logic for Reasoning about Aggregate-Combine Graph Neural Networks
    IJCAI 2024 ·
    Pierre Nunn
    DBLP profile ↗ORCID search ↗
  4. Social, Legal, Ethical, Empathetic, and Cultural Rules: Compilation and Reasoning
    AAAI 2024 · Nicolas Troquard