collaborators

1 paper

cs.LO2026

A Foundation for Differentiable Logics using Dependent Type Theory

Reynald Affeldt, Alessandro Bruni, Ekaterina Komendantskaya +2

Differentiable logics are a family of quantitative logics originated in the machine learning literature. Because of their origin, differentiable logics often come equipped with ana…