PPaperPicks

Mohammad Abdulaziz

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

DBLP profile ↗ORCID search ↗

Venues

AAAI ×2

Frequent coauthors

Maximilian Schäffeler
×1

Papers

  1. Formally Verified Approximate Policy Iteration
    AAAI 2025 ·
    Maximilian Schäffeler
    , Mohammad Abdulaziz
  2. Interactive Theorem Provers: Applications in AI, Opportunities, and Challenges
    AAAI 2024 · Mohammad Abdulaziz