Volgen
Natalia Ślusarz
Natalia Ślusarz
PhD student, Heriot-Watt University
Geverifieerd e-mailadres voor hw.ac.uk
Titel
Geciteerd door
Geciteerd door
Jaar
Logic of differentiable logics: Towards a uniform semantics of DL
N Ślusarz, E Komendantskaya, ML Daggitt, R Stewart, K Stark
arXiv preprint arXiv:2303.10650, 2023
72023
Differentiable Logics for Neural Network Training and Verification
N Ślusarz, E Komendantskaya, ML Daggitt, R Stewart
International Workshop on Numerical Software Verification, 67-77, 2022
32022
Taming Differentiable Logics with Coq Formalisation
R Affeldt, A Bruni, E Komendantskaya, N Ślusarz, K Stark
arXiv preprint arXiv:2403.13700, 2024
2024
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–3