フォロー
Natalia Ślusarz
Natalia Ślusarz
PhD student, Heriot-Watt University
確認したメール アドレス: hw.ac.uk
タイトル
引用先
引用先
年
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
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–3