research
∙
05/27/2021
AndroidEnv: A Reinforcement Learning Platform for Android
We introduce AndroidEnv, an open-source platform for Reinforcement Learn...
share
research
∙
03/05/2021
Training a First-Order Theorem Prover from Synthetic Data
A major challenge in applying machine learning to automated theorem prov...
research
∙
12/11/2019
Marginalized State Distribution Entropy Regularization in Policy Optimization
Entropy regularization is used to get improved optimization performance ...
research
∙
11/27/2018
Understanding the impact of entropy on policy optimization
Entropy regularization is commonly used to improve policy optimization i...
research
∙
11/27/2018
