Open AccessFine-Grained Neural Network Abstraction for Efficient Formal Verification
Author(s) -
Zhaosen Wen
Publication year - 2021
Publication title -
proceedings/proceedings of the ... international conference on software engineering and knowledge engineering
Language(s) - Uncategorized
Resource type - Conference proceedings
eISSN - 2325-9000
pISSN - 2325-9086
DOI - 10.18293/seke2021-071
Subject(s) - computer science , abstraction , scalability , merge (version control) , artificial neural network , prioritization , deep neural networks , artificial intelligence , deep learning , distributed computing , machine learning , theoretical computer science , parallel computing , database , management science , economics , philosophy , epistemology
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom