Building Verified Neural Networks for Computer Systems with Ouroboros.
Cheng TanChangliu LiuZhihao JiaTianhao WeiPublished in: MLSys (2023)
Keyphrases
- computer systems
- neural network
- operating system
- data processing
- hardware and software
- computing systems
- communication systems
- information systems
- information processing systems
- pattern recognition
- computer networks
- computer technology
- human beings
- high end
- computer security
- computer architecture
- back propagation
- fuzzy logic
- artificial neural networks
- intrusion detection system
- multilayer perceptron
- data management
- genetic algorithm