Michael Fisher

Artificial Intelligence · with Banks · 2020

A researcher in the Science corpus: 1 paper; trusts 2 researchers and is trusted by 0 researchers here, as inferred from the citation graph.

Subfields

Whom Michael Fisher trusts

Their strongest outbound trust, strongest first, inferred from their citations.

  1. Xiaowei Huang (in Artificial Intelligence)
  2. Marta Z. Kwiatkowska (in Artificial Intelligence)

Papers from Michael Fisher's perspective

Ordered by how strongly the researchers Michael Fisher trusts endorse each paper. Same corpus, a different order for every researcher.

  1. AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation
  2. Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
  3. Output Reachable Set Estimation and Verification for Multilayer Neural Networks
  4. An approach to reachability analysis for feed-forward ReLU neural networks
  5. DeepXplore: Automated Whitebox Testing of Deep Learning Systems
  6. Concolic Testing for Deep Neural Networks
  7. Using Machine Learning Safely in Automotive Software: An Assessment and Adaption of Software Process Requirements in ISO 26262
  8. Reachability Analysis of Deep Neural Networks with Provable Guarantees
  9. Deep Learning with Differential Privacy
  10. Gradient Descent Finds Global Minima of Deep Neural Networks

Their papers