For our ICRA 2025 paper ๐ "SELP: Generating Safe and Efficient Task Plans for Robot Agents with Large Language Models" by Yi Wu, Zikang Xiong, Yiran Hu, Shreyash Iyengar, Nan Jiang, Aniket Bera, Lin Tan, and Suresh Jagannathan. (๐ Best Paper Award Finalist!)
โ24May 17, 2026Updated 5 months ago
Alternatives and similar repositories for selp
Users that are interested in selp are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- โ13Aug 19, 2025Updated last year
- DEXTER-LLM: Dynamic and Explainable Coordination of Multi-Robot Systems in Unknown Environments via Large Language Modelsโ22Jun 18, 2026Updated 4 months ago
- For our ISSTA23 paper "How Effective are Neural Networks for Fixing Security Vulnerabilities?" by Yi Wu, Nan Jiang, Hung Viet Pham, Thibaโฆโ42Nov 13, 2023Updated 2 years ago
- Project under CSF407 - AIโ13Jun 24, 2024Updated 2 years ago
- Multirotor Slung-Load-Transport-System Real-Time Controller Implementationโ12Feb 17, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer โข AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- This is the code repository accompanying the ICML 2021 paper LTL2Action: Generalizing LTL Instructions for Multi-Task RL (https://arxiv.oโฆโ40Oct 23, 2025Updated last year
- โ16Oct 15, 2025Updated last year
- Julia wrapper for the Spot LTL and automata manipulation libraryโ21Jan 20, 2026Updated 9 months ago
- The official implementation of DeepLTL: Learning to Efficiently Satisfy Complex LTL Specifications for Multi-Task RL (ICLR'25 Oral)โ19Mar 30, 2025Updated last year
- Augmented AirSim plugin files to support drone and car togetherโ15Aug 30, 2020Updated 6 years ago
- Monte Carlo Planning with Large Language Model for Text-Based Game Agentsโ13Mar 2, 2025Updated last year
- Utilizing code clone detection to generate comments automatically.โ17Aug 26, 2019Updated 7 years ago
- Python Jupyter Notebooks for robotics algorithmโ10Jun 5, 2022Updated 4 years ago
- code example for karmaโ12Mar 20, 2025Updated last year
- End-to-end encrypted cloud storage - Proton Drive โข AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- A general-purpose robotic agent framework based on LLMs. The LLM can independently reason, plan, and execute actions to operate diverse rโฆโ26Dec 14, 2025Updated 10 months ago
- IMU้ข็งฏๅ็ธๅ ณๅ ๅฎนโ11Dec 9, 2024Updated last year
- For our CCS24 paper ๐ "ReSym: Harnessing LLMs to Recover Variable and Data Structure Symbols from Stripped Binaries" by Danning Xie, Zhuโฆโ139Apr 10, 2025Updated last year
- Generate Gibson task dataset for objectnavโ17Aug 27, 2020Updated 6 years ago
- Finite-state machine behavioural planner for autonomous vehicle.โ13Oct 13, 2020Updated 6 years ago
- An educational simulation workspace for picking and placing with the Franka Emika Panda Robot in Gazebo with the ZED2 camera.โ13Apr 8, 2024Updated 2 years ago
- Framework to transform natural language into formal language (Temporal Logics).โ44Apr 2, 2024Updated 2 years ago
- UAV Search And Rescue in Airsim Simulation with Yolov5 Modelsโ14Oct 12, 2024Updated 2 years ago
- For our ACL25 Paper: Can Language Models Replace Programmers? RepoCod Says โNot Yetโ - by Shanchao Liang and Yiran Hu and Nan Jiang and Lโฆโ28Aug 27, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways โข AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- For our ICSE21 paper "CURE: Code-Aware Neural Machine Translation for Automatic Program Repair" by Nan Jiang, Thibaud Lutellier, and Lin โฆโ58Dec 8, 2022Updated 3 years ago
- A maze simulation environment in Unreal Engine for quadrotor.โ21Mar 29, 2018Updated 8 years ago
- Code release for paper : EmbodiedAgent: A Scalable Hierarchical Approach to Overcome Practical Challenge in Multi-Robot Controlโ12Sep 23, 2025Updated last year
- [ICML2025] Official codebase for "TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching"โ26Jul 14, 2025Updated last year
- โ10May 22, 2023Updated 3 years ago
- Cascading Failures Prediction on Complex Networksโ36Jan 19, 2020Updated 6 years ago
- Repo for arxiv paper "A Systematic Study of Code Obfuscation Against LLM-based Vulnerability Detection".โ15Dec 18, 2025Updated 10 months ago
- ThreeGeoPlay is a 3D map visualization library built in Three.js meshes, designed for games (pokemon go like). It lets you render vector โฆโ21Oct 8, 2026Updated 3 weeks ago
- โ13Feb 5, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean โข AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Official repository of "Embracing Dynamics: Dynamics-aware 4D Gaussian Splatting SLAM" (IROS 2025).โ16May 13, 2026Updated 5 months ago
- โ๏ธ Drones controlled by natural languageโ10Aug 18, 2023Updated 3 years ago
- Autonomous driving of a drone and object classification through camera with yolo detection.A project that provides an adaptive PID controโฆโ11Sep 30, 2025Updated last year
- Natural Language (NL) to Linear Temporal Logic (LTL)โ105Sep 17, 2025Updated last year
- initโ13May 25, 2025Updated last year
- Forked robosuite for LASER projectโ13Jan 8, 2021Updated 5 years ago
- Specification and Analysis for Requirements Toolโ10Mar 31, 2016Updated 10 years ago