Higher-order ghost state.

Ralf Jung Robbert Krebbers Lars Birkedal Derek Dreyer

Published in: ICFP (2016)

Keyphrases

higher order
natural images
data sets
state space
high order
neural network
optimal solution
information technology
pairwise