research
∙
02/17/2023
Triemaps that match
The trie data structure is a good choice for finite maps whose keys are ...
share
research
∙
12/20/2022
Efficient and Sound Differentiable Programming in a Functional Array-Processing Language
Automatic differentiation (AD) is a technique for computing the derivati...
research
∙
10/10/2021
CoRGi: Content-Rich Graph Neural Networks with Attention
Graph representations of a target domain often project it to a set of en...
research
∙
05/06/2021
Hashing Modulo Alpha-Equivalence
In many applications one wants to identify identical subtrees of a progr...
research
∙
07/23/2020
Diagnostic Questions:The NeurIPS 2020 Education Challenge
Digital technologies are becoming increasingly prevalent in education, e...
research
∙
03/12/2020
Large-Scale Educational Question Analysis with Partial Variational Auto-encoders
Online education platforms enable teachers to share a large number of ed...
research
∙
06/09/2018
Type variables in patterns
For many years, GHC has implemented an extension to Haskell that allows ...
research
∙
06/06/2018
Efficient Differentiable Programming in a Functional Array-Processing Language
We present a system for the automatic differentiation of a higher-order ...
research
∙
10/26/2017
