Skip to content
@RU-Automated-Reasoning-Group

RU-Automated-Reasoning-Group

Pinned Loading

  1. dPads dPads Public

    NeurIPS'21 Differentiable Program Synthesis

    Python 6 2

  2. pi-PRL pi-PRL Public

    ICLR'22 Programmatic Reinforcement Learning

    Python 16 4

  3. GCRL-LTL GCRL-LTL Public

    NeurlPS'23 Instructing Goal-Conditioned Agents with LTL Objectives

    Python 21 3

  4. ReGuS ReGuS Public

    PLDI'24: Reward-guided Synthesis of Intelligent Agent with Control Structures

    Python 5 2

  5. MUN MUN Public

    NeurIPS'24 Learning World Models for Unconstrained Goal Navigation

    Python 3

  6. CE2 CE2 Public

    NeurIPS'24 Exploring the Edges of Latent State Clusters for Goal-Conditioned Reinforcement Learning

    Python 4

Repositories

Showing 10 of 18 repositories

Top languages

Loading…

Most used topics

Loading…