PPaperPicks

Paul Montague

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

DBLP profile ↗ORCID search ↗

Venues

AAAI ×2ICLR ×2ICML ×2NeurIPS ×2

Frequent coauthors

Sean Lamont
DBLP profile ↗ORCID search ↗
×2
Andrew C. Cullen
DBLP profile ↗ORCID search ↗
×2
Viet Quoc Vo
DBLP profile ↗ORCID search ↗
×1
Anh Tuan Bui
DBLP profile ↗ORCID search ↗
×1
Shijie Liu
DBLP profile ↗ORCID search ↗
×1
Anh Bui
DBLP profile ↗ORCID search ↗
×1

Papers

  1. Certified but Fooled! Breaking Certified Defenses with Ghost Certificates
    AAAI 2026 ·
    Viet Quoc Vo
    DBLP profile ↗ORCID search ↗
  2. 3D-Prover: Diversity Driven Theorem Proving With Determinantal Point Processes
    NeurIPS 2025 ·
    Sean Lamont
    DBLP profile ↗ORCID search ↗
  3. Fantastic Targets for Concept Erasure in Diffusion Models and Where To Find Them
    ICLR 2025 ·
    Anh Tuan Bui
    DBLP profile ↗ORCID search ↗
  4. Multi-level Certified Defense Against Poisoning Attacks in Offline Reinforcement Learning
    ICLR 2025 ·
    Shijie Liu
    DBLP profile ↗ORCID search ↗
  5. Position: Certified Robustness Does Not (Yet) Imply Model Security
    ICML 2025 ·
    Andrew Craig Cullen
    DBLP profile ↗ORCID search ↗
  6. BAIT: Benchmarking (Embedding) Architectures for Interactive Theorem-Proving
    AAAI 2024 ·
    Sean Lamont
    DBLP profile ↗ORCID search ↗
  7. Erasing Undesirable Concepts in Diffusion Models with Adversarial Preservation
    NeurIPS 2024 ·
    Anh Bui
    DBLP profile ↗ORCID search ↗
  8. Et Tu Certifications: Robustness Certificates Yield Better Adversarial Examples
    ICML 2024 ·
    Andrew C. Cullen
    DBLP profile ↗ORCID search ↗