1 code implementation • 29 Jan 2019 • Tal Ben-Nun, Maciej Besta, Simon Huber, Alexandros Nikolaos Ziogas, Daniel Peter, Torsten Hoefler
We introduce Deep500: the first customizable benchmarking infrastructure that enables fair comparison of the plethora of deep learning frameworks, algorithms, libraries, and techniques.
4 code implementations • 7 Nov 2016 • Cyril Cohen, Thierry Coquand, Simon Huber, Anders Mörtberg
This paper presents a type theory in which it is possible to directly manipulate $n$-dimensional cubes (points, lines, squares, cubes, etc.)
Logic in Computer Science Logic F.3.2; F.4.1
1 code implementation • 14 Jul 2016 • Simon Huber
Cubical type theory is an extension of Martin-L\"of type theory recently proposed by Cohen, Coquand, M\"ortberg and the author which allows for direct manipulation of $n$-dimensional cubes and where Voevodsky's Univalence Axiom is provable.
Logic in Computer Science