Shibl Mourad | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Pricing

Featured Co-authors

Lei Zhang
40 publications
Doina Precup
12 publications
Zafarali Ahmed
5 publications
Vlad Firoiu
3 publications
Amelia Glaese
3 publications
Laurent Orseau
3 publications
Daniel Toyama
2 publications
Anita Gergely
2 publications
Ankit Anand
2 publications
Gheorghe Comanici
1 publication
Xavier Glorot
1 publication

research

∙ 05/27/2021

AndroidEnv: A Reinforcement Learning Platform for Android

We introduce AndroidEnv, an open-source platform for Reinforcement Learn...

92 Daniel Toyama, et al. ∙

research

∙ 03/05/2021

Training a First-Order Theorem Prover from Synthetic Data

A major challenge in applying machine learning to automated theorem prov...

0 Vlad Firoiu, et al. ∙

Success!

An error occurred