Compressing neural networks via formal methods.
Dalila RessiRiccardo RomanelloSabina RossiCarla PiazzaPublished in: Neural Networks (2024)
Keyphrases
- formal methods
- neural network
- model checker
- formal analysis
- formal specification
- artificial neural networks
- safety critical
- model checking
- pattern recognition
- provably correct
- knowledge based systems
- artificial intelligence
- process algebra
- temporal properties
- data compression
- genetic algorithm
- fuzzy logic
- neural network model
- back propagation
- security properties
- reactive systems
- open source
- software engineering
- development lifecycle