Venue. SAIV International Symposium on AI Verification · Conference · Springer 2025 Quantifiers for Differentiable Logics in Rocq (Extended Abstract) marulandagiraldo-2025-quantifiersSAIV · 2025 DOI