@inbook{marulandagiraldo-2025-quantifiers, title={Quantifiers for Differentiable Logics in Rocq (Extended Abstract)}, ISBN={9783031999918}, ISSN={1611-3349}, url={http://dx.doi.org/10.1007/978-3-031-99991-8_12}, DOI={10.1007/978-3-031-99991-8_12}, booktitle={AI Verification}, publisher={Springer Nature Switzerland}, author={Marulanda-Giraldo, Jairo Miguel and Komendantskaya, Ekaterina and Bruni, Alessandro and Affeldt, Reynald and Capucci, Matteo and Marchioni, Enrico}, year={2025}, month=Oct, pages={227–237} }