Hashing modulo alpha-equivalence.

Krzysztof Maziarz Tom Ellis Alan Lawrence Andrew W. Fitzgibbon Simon Peyton Jones

Published in: PLDI (2021)

Keyphrases

interactive dynamic influence diagrams
order preserving
file organization
hash tables
data sets
reinforcement learning
data structure
nearest neighbor search
real time
neural network
artificial intelligence
hamming distance
random projections
hashing algorithm