Hierarchical Reinforcement Learning (HRL) allows interactive agents to
d...
Humans and animals have the ability to reason and make predictions about...
We introduce AndroidEnv, an open-source platform for Reinforcement Learn...
A major challenge in applying machine learning to automated theorem prov...
Reinforcement learning algorithms usually assume that all actions are al...
A major challenge in applying machine learning to automated theorem prov...
Entropy regularization is used to get improved optimization performance ...
A central challenge in reinforcement learning is discovering effective
p...
Entropy regularization is commonly used to improve policy optimization i...
Entropy regularization is commonly used to improve policy optimization i...
We introduce a deep generative model for functions. Our model provides a...