The University of Southampton
×
Filter your search:
University of Southampton Institutional Repository

Quantifiers for differentiable logics in Rocq (Extended Abstract)

Quantifiers for differentiable logics in Rocq (Extended Abstract)
Quantifiers for differentiable logics in Rocq (Extended Abstract)
227-237
Springer Cham
Marulanda Giraldo, Jairo Miguel
2e470390-686c-42be-8bd9-7473d72f9784
Komendantskaya, Ekaterina
f12d9c23-5589-40b8-bcf9-a04fe9dedf61
Bruni, Alessandro
067759a8-4350-4904-b545-b6d7794bd5e5
Affeldt, Reynald
a3936993-43b8-4546-8675-82fd55db7ecc
Capucci, Matteo
00ae995f-285c-467b-9d11-5a585d5ce2e2
Marchioni, Enrico
729c9984-5949-438e-8de7-0e079bdb9f96
Giacobbe, M.
Lukina, A.
Marulanda Giraldo, Jairo Miguel
2e470390-686c-42be-8bd9-7473d72f9784
Komendantskaya, Ekaterina
f12d9c23-5589-40b8-bcf9-a04fe9dedf61
Bruni, Alessandro
067759a8-4350-4904-b545-b6d7794bd5e5
Affeldt, Reynald
a3936993-43b8-4546-8675-82fd55db7ecc
Capucci, Matteo
00ae995f-285c-467b-9d11-5a585d5ce2e2
Marchioni, Enrico
729c9984-5949-438e-8de7-0e079bdb9f96
Giacobbe, M.
Lukina, A.

Marulanda Giraldo, Jairo Miguel, Komendantskaya, Ekaterina, Bruni, Alessandro, Affeldt, Reynald, Capucci, Matteo and Marchioni, Enrico (2025) Quantifiers for differentiable logics in Rocq (Extended Abstract). Giacobbe, M. and Lukina, A. (eds.) In AI Verification. SAIV 2025. vol. 15947, Springer Cham. pp. 227-237 . (doi:10.1007/978-3-031-99991-8_12).

Record type: Conference or Workshop Item (Paper)

This record has no associated files available for download.

More information

Published date: 28 October 2025
Venue - Dates: International Symposium on AI Verification, , Zagreb, Croatia, 2025-07-21 - 2025-07-22
Learn more about the Agents, Interactions and Complexity Learn more about the School of Electronics and Computer Science Learn more about the Cyber Physical Systems

Identifiers

Local EPrints ID: 510700
URI: http://eprints.soton.ac.uk/id/eprint/510700
DOI: doi:10.1007/978-3-031-99991-8_12
PURE UUID: 7f297a49-76b9-4ae6-9082-53ded5221990
ORCID for Ekaterina Komendantskaya: ORCID iD orcid.org/0000-0002-3240-0987

Catalogue record

Date deposited: 16 Apr 2026 17:09
Last modified: 17 Apr 2026 02:09

Export record

Altmetrics

Contributors

Author: Jairo Miguel Marulanda Giraldo
Author: Ekaterina Komendantskaya ORCID iD
Author: Alessandro Bruni
Author: Reynald Affeldt
Author: Matteo Capucci
Author: Enrico Marchioni
Editor: M. Giacobbe
Editor: A. Lukina

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Library staff additional information
Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×