Picture for Shibl Mourad

Shibl Mourad

Proving Theorems using Incremental Learning and Hindsight Experience Replay

Add code
Dec 20, 2021
Figure 1 for Proving Theorems using Incremental Learning and Hindsight Experience Replay
Figure 2 for Proving Theorems using Incremental Learning and Hindsight Experience Replay
Figure 3 for Proving Theorems using Incremental Learning and Hindsight Experience Replay
Viaarxiv icon

The Option Keyboard: Combining Skills in Reinforcement Learning

Add code
Jun 24, 2021
Figure 1 for The Option Keyboard: Combining Skills in Reinforcement Learning
Figure 2 for The Option Keyboard: Combining Skills in Reinforcement Learning
Figure 3 for The Option Keyboard: Combining Skills in Reinforcement Learning
Figure 4 for The Option Keyboard: Combining Skills in Reinforcement Learning
Viaarxiv icon

AndroidEnv: A Reinforcement Learning Platform for Android

Add code
May 27, 2021
Figure 1 for AndroidEnv: A Reinforcement Learning Platform for Android
Figure 2 for AndroidEnv: A Reinforcement Learning Platform for Android
Figure 3 for AndroidEnv: A Reinforcement Learning Platform for Android
Figure 4 for AndroidEnv: A Reinforcement Learning Platform for Android
Viaarxiv icon

Training a First-Order Theorem Prover from Synthetic Data

Add code
Mar 05, 2021
Figure 1 for Training a First-Order Theorem Prover from Synthetic Data
Figure 2 for Training a First-Order Theorem Prover from Synthetic Data
Figure 3 for Training a First-Order Theorem Prover from Synthetic Data
Figure 4 for Training a First-Order Theorem Prover from Synthetic Data
Viaarxiv icon

Learning to Prove from Synthetic Theorems

Add code
Jun 19, 2020
Figure 1 for Learning to Prove from Synthetic Theorems
Figure 2 for Learning to Prove from Synthetic Theorems
Figure 3 for Learning to Prove from Synthetic Theorems
Figure 4 for Learning to Prove from Synthetic Theorems
Viaarxiv icon

Shaping representations through communication: community size effect in artificial learning systems

Add code
Dec 12, 2019
Figure 1 for Shaping representations through communication: community size effect in artificial learning systems
Figure 2 for Shaping representations through communication: community size effect in artificial learning systems
Figure 3 for Shaping representations through communication: community size effect in artificial learning systems
Viaarxiv icon

The Hanabi Challenge: A New Frontier for AI Research

Add code
Feb 01, 2019
Figure 1 for The Hanabi Challenge: A New Frontier for AI Research
Figure 2 for The Hanabi Challenge: A New Frontier for AI Research
Figure 3 for The Hanabi Challenge: A New Frontier for AI Research
Figure 4 for The Hanabi Challenge: A New Frontier for AI Research
Viaarxiv icon

The Barbados 2018 List of Open Issues in Continual Learning

Add code
Nov 16, 2018
Viaarxiv icon