Algorithms
Video
Algorithmic Improvisation for Dependable and Secure Autonomy
Algorithmic Improvisation, also called control improvisation, is a new framework for automatically synthesizing systems with random but controllable behavior. In this talk, I will present the theory of algorithmic improvisation and show how it can…
Video
How good is your classifier? Revisiting the role of evaluation metrics in machine learning
With the increasing integration of machine learning into real systems, it is crucial that trained models are optimized to reflect real-world tradeoffs. Increasing interest in proper evaluation has led to a wide variety of metrics…
Tool
NNspectra
This repo is a companion to the paper “A Fine-Grained Spectral Perspective on Neural Networks”.