3 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.LO2025★ 3 cited
Łukasiewicz Logic with Actions for Neural Networks training
Ioana Leuştean, Bogdan Macovei
Based on the already known connection between multilayer perceptrons and Lukasiewicz logic with rational coefficients, we take a step forward in analyzing its training process usin…
cs.CR2023
OpenBSD formal driver verification with SeL4
Adriana Nicolae, Paul Irofti, Ioana Leustean
The seL4 microkernel is currently the only kernel that has been fully formally verified. In general, the increased interest in ensuring the security of a kernel's code results from…