This project is used to embed the ltl tasks.

为GPT/GLM等LLM大语言模型提供实用化交互接口，特别优化论文阅读/润色/写作体验，模块化设计，支持自定义快捷按钮&函数插件，支持Python和C++等项目剖析&自译解功能，PDF/LaTex论文翻译&总结功能，支持并行问询多种LLM模型，支持chatglm3等本地模型。接入通义千问, deepseekcoder, 讯飞星火, 文心一言, llama2, rwkv, claude2, m…

The associated repo for paper "Data-Efficient Learning of Natural Language to Linear Temporal Logic Translators for Robot Task Specification"

Classical and FOND Planning for Pure-Past Linear Temporal Logic Goals

A collection of LLM with RL papers

Exact structure out of any language model completion.

🤖 AgentVerse 🪐 is designed to facilitate the deployment of multiple LLM-based agents in various applications, which primarily provides two frameworks: task-solving and simulation

Associative memory-enhanced GPT-2 model

Go tools, libraries

Open source short video automatic generation tool

NeurIPS 2023: Safety-Gymnasium: A Unified Safe Reinforcement Learning Benchmark

This repository is an implement of a paper belongs to MIT which discusses a new method for robot navigating.

Thrid-party safety-gym safe exploration environments for autonomous driving. Also environment used for IROS 2021 paper: Model-based Constrained Reinforcement Learning using Generalized Control Barr…

A collection of environments for autonomous driving and tactical decision-making tasks

Example packages for ROS2

Package demo for ROS navigation in Gazebo usingo Pioneer 3AT.

This repository contains code for the method and experiments of the paper "Learning with AMIGo: Adversarially Motivated Intrinsic Goals".

🔥🔥超过1000本的计算机经典书籍、个人笔记资料以及本人在各平台发表文章中所涉及的资源等。书籍资源包括C/C++、Java、Python、Go语言、数据结构与算法、操作系统、后端架构、计算机系统知识、数据库、计算机网络、设计模式、前端、汇编以及校招社招各种面经~

[IROS2020] Encoding formulas as deep networks: Reinforcement learning for zero-shot execution of LTL formulas

From LTLf / PPLTL to Deterministic Finite-state Automata (DFA)

Bunch of aproximated graph edit distance algorithms.

Compute graph embeddings via Anonymous Walk Embeddings

LOGics formalisms to AUTomata

An editor for deterministic finite automata

A translator of the fragment LTL\G(U,X) into deterministic automata.

The implementation for the paper "Structured Prediction for Conditional Meta-Learning"

This repository provides a reference implementation of struc2vec.

A scikit-learn compatible library for graph kernels