Browse by People

Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
Number of items: 1.

Berthier, Nicolas, Alshareef, Amany, Sharp, James, Schewe, Sven ORCID: 0000-0002-9093-9518 and Huang, Xiaowei ORCID: 0000-0001-6267-0366
(2021) Abstraction and Symbolic Execution of Deep Neural Networks with Bayesian Approximation of Hidden Features. [Preprint]

This list was generated on Sun Jun 26 08:59:54 2022 BST.