Taming Differentiable Logics with Coq Formalisation.
In: CoRR, Jg. abs/2403.13700 (2024)
academicJournal
Zugriff:
Titel: |
Taming Differentiable Logics with Coq Formalisation.
|
---|---|
Autor/in / Beteiligte Person: | Affeldt, Reynald ; Bruni, Alessandro ; Komendantskaya, Ekaterina ; Slusarz, Natalia ; Stark, Kathrin |
Link: | |
Zeitschrift: | CoRR, Jg. abs/2403.13700 (2024) |
Veröffentlichung: | 2024 |
Medientyp: | academicJournal |
DOI: | 10.48550/arXiv.2403.13700 |
Sonstiges: |
|