PPaperPicks

Matthew Dwyer

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

DBLP profile ↗ORCID search ↗

Venues

NeurIPS ×3AAAI ×1ICRA ×1

Frequent coauthors

Hai Duong
DBLP profile ↗ORCID search ↗
×2
Jin Yao
DBLP profile ↗ORCID search ↗
×1
Shuyang Dong
DBLP profile ↗ORCID search ↗
×1
Felipe Toledo
DBLP profile ↗ORCID search ↗
×1

Papers

  1. Compositional Neural Network Verification via Assume-Guarantee Reasoning
    NeurIPS 2025 ·
    Hai Duong
    DBLP profile ↗ORCID search ↗
  2. Generating and Checking DNN Verification Proofs
    NeurIPS 2025 ·
    Hai Duong
    DBLP profile ↗ORCID search ↗
  3. LabelAny3D: Label Any Object 3D in the Wild
    NeurIPS 2025 ·
    Jin Yao
    DBLP profile ↗ORCID search ↗
  4. Quantitative Predictive Monitoring and Control for Safe Human-Machine Interaction
    AAAI 2025 ·
    Shuyang Dong
    DBLP profile ↗ORCID search ↗
  5. Specifying and Monitoring Safe Driving Properties with Scene Graphs
    ICRA 2024 ·
    Felipe Toledo
    DBLP profile ↗ORCID search ↗