Seguir
Natalia Ślusarz
Natalia Ślusarz
PhD student, Heriot-Watt University
Dirección de correo verificada de hw.ac.uk
Título
Citado por
Citado por
Año
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
82023
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–3