Fingerprint
Dive into the research topics of 'Taming Differentiable Logics with Coq Formalisation'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Taming Differentiable Logics with Coq Formalisation
Reynald Affeldt, Alessandro Bruni, Ekaterina Komendantskaya, Natalia Ślusarz, Kathrin Stark
Research output: Contribution to conference - NOT published in proceeding or journal › Paper › Research