8 citations · 14 across the 9 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.LO2024
A Comprehensive Overview of the Lebesgue Differentiation Theorem in Coq
Reynald Affeldt, Zachary Stone
Formalization of real analysis offers a chance to rebuild traditional proofs of important theorems as unambiguous theories that can be interactively explored. This paper provides a…
cs.LO2024
Taming Differentiable Logics with Coq Formalisation
Reynald Affeldt, Alessandro Bruni, Ekaterina Komendantskaya +2
For performance and verification in machine learning, new methods have recently been proposed that optimise learning systems to satisfy formally expressed logical properties. Among…