Linear Regions Are All You Need.

Matthew Fluet, Greg Morrisett, Amal J. Ahmed

Browse the full ESOP paper archive.