marulandagiraldo-2025-quantifiers:
  type: chapter
  title: Quantifiers for Differentiable Logics in Rocq (Extended Abstract)
  author:
  - Marulanda-Giraldo, Jairo Miguel
  - Komendantskaya, Ekaterina
  - Bruni, Alessandro
  - Affeldt, Reynald
  - Capucci, Matteo
  - Marchioni, Enrico
  date: 2025-10
  page-range: 227-237
  url: http://dx.doi.org/10.1007/978-3-031-99991-8_12
  serial-number:
    doi: 10.1007/978-3-031-99991-8_12
    isbn: '9783031999918'
    issn: 1611-3349
  parent:
    type: book
    title: AI Verification
    publisher: Springer Nature Switzerland