A simple and scalable simulator for platoon formation.

Relational piecewise-linear overapproximations of multi-dimensional functions

auto_LiRPA: An Automatic Linear Relaxation based Perturbation Analysis Library for Neural Networks and General Computational Graphs

A collection of extensions and data-loaders for few-shot learning & meta-learning in PyTorch

A Multiple Quadrotor Environment Compatible With OpenAI Gym

Python sample codes and textbook for robotics algorithms.

A leader-follower formation control using deep reinforcement learning environment, In which every agent can learn to follow the leader agent by keeping track of a certain distance to that leader, a…

Trajectory generation for UAV formations to track a target

Physics-Informed Neural networks for Advanced modeling

Closed-Loop Supervised Fine-Tuning of Tokenized Traffic Models. CVPR Oral 2025.

Code for paper "Model-Free Perimeter Metering Control for Two-Region Urban Networks Using Deep Reinforcement Learning"

A list of AI autonomous agents

Evaluate three types of task shifting with popular continual learning algorithms.

PyTorch implementation of various methods for continual learning (XdG, EWC, SI, LwF, FROMP, DGR, BI-R, ER, A-GEM, iCaRL, Generative Classifier) in three different scenarios.

[TNNLS] Differentiable Integrated Prediction and Planning Framework for Urban Autonomous Driving

🦜🔗 The platform for reliable agents.

AutoGPT is the vision of accessible AI for everyone, to use and to build on. Our mission is to provide the tools, so that you can focus on what matters.

PrivacyAsst: Safeguarding User Privacy in Tool-Using Large Language Model Agents (TDSC 2024)

Incremental Verifiers for Neural Networks

Exact Verification of ReLU Neural Control Barrier Functions

A comprehensive list of papers using large language/multi-modal models for Robotics/RL, including papers, codes, and related websites

"CBF-LLM: Safe Control for LLM Alignment"

Connect MATLAB to LLM APIs, including OpenAI® Chat Completions, Azure® OpenAI Services, and Ollama™

Implementation of RIFT-SVC, a singing voice conversion model based on Rectified Flow Transformer.