243 citations · 300 across the 6 of their papers we have counts for
6 papers
Tensor Comprehensions: Framework-Agnostic High-Performance Machine Learning Abstractions
Nicolas Vasilache, Oleksandr Zinenko, Theodoros Theodoridis +6
Deep learning models with convolutional and recurrent networks are now ubiquitous and analyze massive amounts of audio, image, video, text and graph data, with applications in auto…
PENCIL: Towards a Platform-Neutral Compute Intermediate Language for DSLs
Riyadh Baghdadi, Albert Cohen, Serge Guelton +9
We motivate the design and implementation of a platform-neutral compute intermediate language (PENCIL) for productive and performance-portable accelerator programming.
Computing parametric rational generating functions with a primal Barvinok algorithm
Matthias Köppe, Sven Verdoolaege
Computations with Barvinok's short rational generating functions are traditionally being performed in the dual space, to avoid the combinatorial complexity of inclusion--exclusion…
Counting with rational generating functions
Sven Verdoolaege, Kevin Woods
We examine two different ways of encoding a counting function, as a rational generating function and explicitly as a function (defined piecewise using the greatest integer function…
Abductive reasoning with temporal information
Sven Verdoolaege, Marc Denecker, Frank Van Eynde
Texts in natural language contain a lot of temporal information, both explicit and implicit. Verbs and temporal adjuncts carry most of the explicit information, but for a full unde…
Semantic interpretation of temporal information by abductive inference
Sven Verdoolaege, Marc Denecker, Ness Schelkens +2
Besides temporal information explicitly available in verbs and adjuncts, the temporal interpretation of a text also depends on general world knowledge and default assumptions. We w…