activity
20172022
most citedIncorrect by Construction: Fine Tuning Neural Networks for Guaranteed Performance on Finite Sets of Examples

2 citations · 4 across the 3 of their papers we have counts for

collaborators
Showing math.OCShow all

1 paper · 1 filter

math.OC2018

Affine Multiplexing Networks: System Analysis, Learning, and Computation

Ivan Papusha, Ufuk Topcu, Steven Carr +1

We introduce a novel architecture and computational framework for formal, automated analysis of systems with a broad set of nonlinearities in the feedback loop, such as neural netw…