Search Results for author: Lei M. Zhang

Found 4 papers, 0 papers with code

Proving Theorems using Incremental Learning and Hindsight Experience Replay

no code implementations20 Dec 2021 Eser Aygün, Laurent Orseau, Ankit Anand, Xavier Glorot, Vlad Firoiu, Lei M. Zhang, Doina Precup, Shibl Mourad

Traditional automated theorem provers for first-order logic depend on speed-optimized search and many handcrafted heuristics that are designed to work best over a wide range of domains.

Automated Theorem Proving Incremental Learning

Predicting Sim-to-Real Transfer with Probabilistic Dynamics Models

no code implementations27 Sep 2020 Lei M. Zhang, Matthias Plappert, Wojciech Zaremba

We further show that the transfer metric can predict the effect of training setups on policy transfer performance.

Cannot find the paper you are looking for? You can Submit a new open access paper.