Search Results for author: Natalia Ślusarz

Found 1 papers, 0 papers with code

Logic of Differentiable Logics: Towards a Uniform Semantics of DL

no code implementations19 Mar 2023 Natalia Ślusarz, Ekaterina Komendantskaya, Matthew L. Daggitt, Robert Stewart, Kathrin Stark

A DL consists of a syntax in which specifications are stated and an interpretation function that translates expressions in the syntax into loss functions.

Cannot find the paper you are looking for? You can Submit a new open access paper.