CycleQ: an efficient basis for cyclic equational reasoning.

Eddie Jones C.-H. Luke Ong Steven J. Ramsay

Published in: PLDI (2022)

Keyphrases

starting point
viewpoint
databases
neural network
machine learning
artificial intelligence
three dimensional
wide range
feature space
multiresolution
special case
computationally efficient