◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

Christopher Strong

1 papers

No researched profile yet.

papers

Publications (1)

cs.LG2020

Algorithms for Verifying Deep Neural Networks

Changliu Liu, Tomer Arnon, Christopher Lazarus +3

Deep neural networks are widely used for nonlinear function approximation with applications ranging from computer vision to control. Although these networks involve the composition…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Sign in
  • Library
  • Chat
Data
  • arXiv.org
  • Latest RSS
Not affiliated with arXiv