yongchao98 / NL2TL
Framework to transform natural language into formal language (Temporal Logics).
☆18Updated 5 months ago
Related projects: ⓘ
- This is the code repository accompanying the ICML 2021 paper LTL2Action: Generalizing LTL Instructions for Multi-Task RL (https://arxiv.o…☆28Updated 3 months ago
- The associated repo for paper "Data-Efficient Learning of Natural Language to Linear Temporal Logic Translators for Robot Task Specificat…☆16Updated last year
- ☆49Updated 7 months ago
- ICLR'22 Programmatic Reinforcement Learning☆15Updated last year
- LLM multi-agent discussion framework for multi-agent/robot situations.☆16Updated 5 months ago
- Learning algorithm implementation and experiments in the paper "A Composable Specification Language for Reinforcement Learning Tasks" (ht…☆13Updated 3 years ago
- SocialGym 2: A lightweight benchmark and simulator for multi-robot social navigation using ROS and the OpenAI gym.☆52Updated 5 months ago
- The source code of the paper "Leveraging Pre-trained Large Language Models to Construct and Utilize World Models for Model-based Task Pla…☆69Updated last month
- Official code for "Unleashing the Power of Pre-trained Language Models for Offline Reinforcement Learning".☆37Updated 5 months ago
- Codes for the paper "Multi-task Hierarchical Adversarial Inverse Reinforcement Learning"☆14Updated last year
- [IROS 22'] Model-free Neural Lyapunov Control☆19Updated last year
- Logically-Constrained Reinforcement Learning☆53Updated 2 months ago
- Learning to Modulate pre-trained Models in RL (Decision Transformer, LoRA, Fine-tuning)☆49Updated 8 months ago
- ☆39Updated 3 weeks ago
- (NeurIPS '22) LISA: Learning Interpretable Skill Abstractions - A framework for unsupervised skill learning using Imitation☆24Updated last year
- NeurlPS'23 Instructing Goal-Conditioned Agents with LTL Objectives☆14Updated 8 months ago
- PDDL planner interface for PDDLGym.☆26Updated 7 months ago
- Code for the paper: "Causal Influence Detection for Improving Efficiency in Reinforcement Learning", by Seitzer, M., Schölkopf, B., Marti…☆35Updated 2 years ago
- A toolkit for auto-generation of OpenAI Gym environments from RDDL description files.☆62Updated last week
- ICLR 2024: SafeDreamer: Safe Reinforcement Learning with World Models☆40Updated 5 months ago
- ☆16Updated 3 months ago
- Code for experiments in the paper: "Compositional Reinforcement Learning from Logical Specifications" (https://arxiv.org/abs/2106.13906).☆14Updated 2 years ago
- ☆39Updated last year
- Offline RLHF codebase implementation for "Uni-RLHF: Universal Platform and Benchmark Suite for Reinforcement Learning with Diverse Human …☆32Updated 5 months ago
- A library for efficiently working with Signal Temporal Logic (STL) and its quantitative semantics. Has Python bindings!☆36Updated 11 months ago
- [CoRL 2020] Learning a natural-language to LTL executable semantic parser for grounded robotics☆17Updated 2 years ago
- Reinforcement Learning framework for Temporal Goals☆11Updated last year
- Official implementation of the paper: Safe Model-Based Reinforcement Learning with an Uncertainty-Aware Reachability Certificate☆15Updated 9 months ago
- This is the official implementation of NeurIPS 2022 paper "Generalizing Goal-Conditioned Reinforcement Learning with Variational Causal R…☆30Updated last year
- Code repository for the paper "LLM-Coordination: Evaluating and Analyzing Multi-agent Coordination Abilities in Large Language Models"☆19Updated 5 months ago