Pinned Repositories
KOVIS_VisualServo
Code for keypoint-based visual servo IROS2020
cursor
The AI Code Editor
HRItdy
Config files for my GitHub profile.
LTL_Evaluator
Use multi-LLMs to evaluate whether the generated LTL task satisfies the natural language description.
RAG_LTL
This project is used to embed the ltl tasks.
realsense-ros
ROS Wrapper for Intel(R) RealSense(TM) Cameras
LTL2Action
This is the code repository accompanying the ICML 2021 paper LTL2Action: Generalizing LTL Instructions for Multi-Task RL (https://arxiv.org/abs/2102.06858).
robo_transformers
Efficient-Eng-2-LTL
The associated repo for paper "Data-Efficient Learning of Natural Language to Linear Temporal Logic Translators for Robot Task Specification"
HRItdy's Repositories
HRItdy/RAG_LTL
This project is used to embed the ltl tasks.
HRItdy/HRItdy
Config files for my GitHub profile.
HRItdy/LTL_Evaluator
Use multi-LLMs to evaluate whether the generated LTL task satisfies the natural language description.