Pinned Loading

1. llm-task-planner llm-task-planner Public

   Natural language robot control using code-as-policies. LLM generates executable Python code for manipulation tasks in MuJoCo simulation with Streamlit chat interface and real-time feedback.

   Python 5

2. openvla-fr3 openvla-fr3 Public

   FR3 robot in Gazebo integrated with 4-bit quantized OpenVLA and MoveIt

   C++ 4 1

3. automatic-verification automatic-verification Public

   Automated formal verification tool for vision classifiers using CLIP embeddings and MILP optimization. Converts OWL ontologies into ConSpec specifications and provides mathematical guarantees about…

   Python

4. vision-sorter vision-sorter Public

   Pick and place automation for Franka FR3 using ROS2, MoveIt Task Constructor and RGBD object detection

   C++ 4

5. learning-based-control learning-based-control Public

   Deep reinforcement learning for control tasks. Implements DQN and Q-learning algorithms with curriculum training, custom balance environments, and action discretization. Trained on classic Gymnasiu…

   Python

6. Kalman-Consensus-Filter Kalman-Consensus-Filter Public