‪Natalia Ślusarz‬ - ‪Google Scholar‬

Skaff deg en Google Scholar-profil

Sitert av

	Alle	Siden 2019
Sitater	10	10
h-indeks	2	2
i10-indeks	0	0

0

6

3

2022202320242 5 3

Offentlig tilgang

1 artikkel

0 artikler

tilgjengelige

ikke tilgjengelige

Basert på finansieringsmandater

Medforfattere

Ekaterina KomendantskayaProfessor in Computer Science, Southampton University and Heriot-Watt University, UKVerifisert e-postadresse på hw.ac.uk
Matthew L. DaggittLecturer, University of Western AustraliaVerifisert e-postadresse på uwa.edu.au
Robert StewartAssociate Professor, Heriot Watt UniversityVerifisert e-postadresse på hw.ac.uk

Natalia Ślusarz

Natalia Ślusarz

PhD student, Heriot-Watt University

Verifisert e-postadresse på hw.ac.uk

neural network verification machine learning differentiable logic AI


Tittel Sorter etter sitater Sorter etter år Sorter etter tittel	Sitert av Sitert av	År
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	7	2023
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	3	2022
Taming Differentiable Logics with Coq Formalisation R Affeldt, A Bruni, E Komendantskaya, N Ślusarz, K Stark arXiv preprint arXiv:2403.13700, 2024		2024

Systemet kan ikke utføre handlingen. Prøv på nytt senere.

Artikler 1–3