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!)
☆22May 17, 2026Updated 2 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:
- For ACL25 paper "WAFFLE: Multi-Modal Model for Automated Front-End Development" - by Shanchao Liang and Nan Jiang and Shangshu Qian and L…☆12May 28, 2025Updated last year
- ☆12Aug 19, 2025Updated 11 months ago
- DEXTER-LLM: Dynamic and Explainable Coordination of Multi-Robot Systems in Unknown Environments via Large Language Models☆16Jun 18, 2026Updated last month
- Project under CSF407 - AI☆13Jun 24, 2024Updated 2 years 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
- 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.
- Julia wrapper for the Spot LTL and automata manipulation library☆21Jan 20, 2026Updated 6 months ago
- Open source simulator for autonomous vehicles built on Unreal Engine based on AirSim, new vehicle URDF Robot and FixedWing supported☆15Mar 31, 2025Updated last year
- For our ISSTA22 paper "DocTer: Documentation-Guided Fuzzing for Testing Deep Learning API Functions" by Danning Xie, Yitong Li, Mijung Ki…☆38Jul 19, 2022Updated 4 years ago
- ☆15Oct 15, 2025Updated 9 months ago
- The official implementation of DeepLTL: Learning to Efficiently Satisfy Complex LTL Specifications for Multi-Task RL (ICLR'25 Oral)☆17Mar 30, 2025Updated last year
- Monte Carlo Planning with Large Language Model for Text-Based Game Agents☆13Mar 2, 2025Updated last year
- Repository for ICRA'24 Paper "Optimal Scene Graph Planning with Large Language Model Guidance"☆38Jan 30, 2026Updated 6 months ago
- SVLR: Scalable, Training-Free Visual Language Robotics: a modular multi-model framework for consumer-grade GPUs☆16Jan 22, 2026Updated 6 months ago
- UAV Search And Rescue in Airsim Simulation with Yolov5 Models☆15Oct 12, 2024Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- For our CCS24 paper 🏆 "ReSym: Harnessing LLMs to Recover Variable and Data Structure Symbols from Stripped Binaries" by Danning Xie, Zhu…☆136Apr 10, 2025Updated last year
- Utilizing code clone detection to generate comments automatically.☆17Aug 26, 2019Updated 6 years ago
- Framework to transform natural language into formal language (Temporal Logics).☆43Apr 2, 2024Updated 2 years ago
- A general-purpose robotic agent framework based on LLMs. The LLM can independently reason, plan, and execute actions to operate diverse r…☆22Dec 14, 2025Updated 7 months ago
- ✈️ Drones controlled by natural language☆10Aug 18, 2023Updated 2 years ago
- Official repository of "Embracing Dynamics: Dynamics-aware 4D Gaussian Splatting SLAM" (IROS 2025).☆16May 13, 2026Updated 2 months ago
- This is the code repository accompanying the ICML 2021 paper LTL2Action: Generalizing LTL Instructions for Multi-Task RL (https://arxiv.o…☆38Oct 23, 2025Updated 9 months ago
- Finite-state machine behavioural planner for autonomous vehicle.☆13Oct 13, 2020Updated 5 years ago
- For our ICSE21 paper "CURE: Code-Aware Neural Machine Translation for Automatic Program Repair" by Nan Jiang, Thibaud Lutellier, and Lin …☆59Dec 8, 2022Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- The associated repo for paper "Data-Efficient Learning of Natural Language to Linear Temporal Logic Translators for Robot Task Specificat…☆33Aug 16, 2023Updated 2 years ago
- Generalized Deep Multiset Canonical Correlation Analysis for Multiview Learning of Speech Representations☆12Apr 9, 2019Updated 7 years ago
- Forked robosuite for LASER project☆12Jan 8, 2021Updated 5 years ago
- ☆13Feb 5, 2025Updated last year
- A docker container with PX4, ROS2, MavROS, and Gazebo harmonic.☆14Sep 5, 2024Updated last year
- A DSL for Linear Temporal Logic + Interface with Z3 for solving☆11Mar 12, 2015Updated 11 years ago
- For our ISSTA20 paper "CoCoNuT: Combining Context-Aware Neural Translation Models using Ensemble for Program Repair" by Thibaud Lutellier…☆63Mar 30, 2023Updated 3 years ago
- Specification and Analysis for Requirements Tool☆10Mar 31, 2016Updated 10 years ago
- RTSP streaming for ROS image topics☆15Jul 14, 2026Updated 3 weeks ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- This is a Behavior Tree library meant to be an alternative to SMACH, FlexBE and the like. It includes a ReactJS-based web GUI and all the…☆37Oct 17, 2023Updated 2 years ago
- ☆15Apr 26, 2021Updated 5 years ago
- Crawler for google play to crawl all the app related data☆18Feb 2, 2020Updated 6 years ago
- Multi-Agent Search and Rescue Robot in ROS☆13Jul 31, 2022Updated 4 years ago
- Official repo to UAV-VLA HRI 2025 paper☆149Jun 16, 2026Updated last month
- Code for ICRA2024 Paper: Dynamic Coalition Formation and Routing for Multirobot Task Allocation via Reinforcement Learning.☆42Mar 5, 2024Updated 2 years ago
- Contingency planning for on-road autonomous driving☆20Jan 24, 2026Updated 6 months ago