The Termination Critic.

Anna Harutyunyan Will Dabney Diana Borsa Nicolas Heess Rémi Munos Doina Precup

Published in: CoRR (2019)

Keyphrases

term rewriting
rewrite systems
function approximation
termination analysis
computer vision
term rewrite systems
real world
information retrieval
preprocessing
multiresolution
actor critic