Taming differentiable logics with Coq formalisation

DOI10.4230/LIPICS.ITP.2024.4MaRDI QIDQ6860035zbMATH OpenFDO

Authors Reynald Affeldt, Alessandro Bruni, Ekaterina Komendantskaya, Natalia Ślusarz, Kathrin Stark

Publication date 10 February 2026

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

machine learningloss functionsinteractive theorem provingdifferentiable logicslogic and semantics

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: Taming differentiable logics with Coq formalisation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6860035)