research
∙
07/02/2023
Towards Unbiased Exploration in Partial Label Learning
We consider learning a probabilistic classifier from partially-labelled ...
share
research
∙
03/10/2023
Lemmas: Generation, Selection, Application
Noting that lemmas are a key feature of mathematics, we engage in an inv...
research
∙
02/27/2023
Safety without alignment
Currently, the dominant paradigm in AI safety is alignment with human va...
research
∙
07/05/2021
Towards solving the 7-in-a-row game
Our paper explores the game theoretic value of the 7-in-a-row game. We r...
research
∙
05/31/2021
The Role of Entropy in Guiding a Connection Prover
In this work we study how to learn good algorithms for selecting reasoni...
research
∙
06/25/2020
Data-dependent Pruning to find the Winning Lottery Ticket
The Lottery Ticket Hypothesis postulates that a freshly initialized neur...
research
∙
04/15/2020
Prolog Technology Reinforcement Learning Prover
We present a reinforcement learning toolkit for experiments with guiding...
research
∙
05/30/2019
Towards Finding Longer Proofs
We present a reinforcement learning (RL) based guidance system for autom...
research
∙
12/28/2017