Search Results for author: Simon Huber

Found 3 papers, 3 papers with code

A Modular Benchmarking Infrastructure for High-Performance and Reproducible Deep Learning

1 code implementation29 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.

Benchmarking Vocal Bursts Intensity Prediction

Cubical Type Theory: a constructive interpretation of the univalence axiom

4 code implementations7 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

Canonicity for Cubical Type Theory

1 code implementation14 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

Cannot find the paper you are looking for? You can Submit a new open access paper.