Sort by
Refine Your Search
-
semantic mismatch between the formal guarantees produced by neural network verification tools and the actual implementation of neural networks at the hardware level. Specifically, hardware-level effects
Searches related to formal semantics
Enter an email to receive alerts for formal-semantics positions