My paper Reachability-Based Formal Verification of Graph Neural Networks with Node and Edge Features was accepted for presentation at SAIV 2026.