research
∙
12/20/2021
Proving Theorems using Incremental Learning and Hindsight Experience Replay
Traditional automated theorem provers for first-order logic depend on sp...
share
research
∙
05/27/2021
AndroidEnv: A Reinforcement Learning Platform for Android
We introduce AndroidEnv, an open-source platform for Reinforcement Learn...
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
∙
06/19/2020
Learning to Prove from Synthetic Theorems
A major challenge in applying machine learning to automated theorem prov...
research
∙
12/12/2019
Shaping representations through communication: community size effect in artificial learning systems
Motivated by theories of language and communication that explain why com...
research
∙
02/01/2019
The Hanabi Challenge: A New Frontier for AI Research
From the early days of computing, games have been important testbeds for...
research
∙
11/16/2018