Large language models have an exceptional capability to incorporate new
...
Deep neural networks are widely known for their remarkable effectiveness...
Diffusion models have achieved remarkable success in generating high-qua...
Premise selection is a fundamental problem of automated theorem proving....
We study the use of model-based reinforcement learning methods, in
parti...
Inferring causal structure from data is a challenging task of fundamenta...
The ability of continual learning systems to transfer knowledge from
pre...
Complex reasoning problems contain states that vary in the computational...
In theorem proving, the task of selecting useful premises from a large
l...
The growth of deep reinforcement learning (RL) has brought multiple exci...
Multi-agent reinforcement learning (MARL) provides a framework for probl...
Communication is compositional if complex signals can be represented as ...
Humans excel in solving complex reasoning tasks through a mental process...
Continual learning (CL) – the ability to continuously learn, building on...
In this paper, we present the Adaptive EntropyTree Search (ANTS) algorit...
This work introduces interactive traffic scenarios in the CARLA simulato...
We propose a reinforcement learning framework for discrete environments ...
We use synthetic data and a reinforcement learning algorithm to train a
...
This paper explores a novel approach to achieving emergent compositional...
Model-free reinforcement learning (RL) can be used to learn effective
po...
We propose an expert-augmented actor-critic algorithm, which we evaluate...
In the NIPS 2017 Learning to Run challenge, participants were tasked wit...