Lists (3)
Stars
Sherlock is a tool for output range anaylsis of Deep Neural Networks with ReLU activation units.
A curated list of mathematical optimization courses, lectures, books, notes, libraries, frameworks and software.
[CVPR 2025] GigaHands: A Massive Annotated Dataset of Bimanual Hand Activities
Train a loco-manipulation dog with RL
NVIDIA Isaac GR00T N1.5 is the world's first open foundation model for generalized humanoid robot reasoning and skills.
Safe guaranteed exploration for non-linear systems
An open-source, GPU-accelerated physics simulation engine built upon NVIDIA Warp, specifically targeting roboticists and simulation researchers.
[ICML2025] Official codebase for "TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching"
Turn thousands of Org files into a database in seconds
Code for “Signal Temporal Logic meets Hamilton-Jacobi Reachability: Connections and Applications” by Mo Chen, Qizhan Tam, Scott C. Livingston, and Marco Pavone.
A benchmark for offline goal-conditioned RL and offline RL
A web-based collaborative LaTeX editor
Code from the paper "You need 27 tickets to guarantee a win on the UK National Lottery"
Library for LLM-driven action model acquisition via natural language
Implementation for SE(3) diffusion model with application to protein backbone generation
Toy implementation of Differentiable Task Assignment and Motion Planning in jax
ICRA2025: OpenGS-SLAM: Open-Set Dense Semantic SLAM with 3D Gaussian Splatting for Object-Level Scene Understanding
LitStudy: Using the power of Python to automate scientific literature analysis from the comfort of a Jupyter notebook
Differentiable Rasteriser implemented in JAX. Reference: https://github.com/erwincoumans/tinyrenderer, https://github.com/ssloy/tinyrenderer/wiki; PR: https://github.com/google/brax/pull/367
CasADi is a symbolic framework for numeric optimization implementing automatic differentiation in forward and reverse modes on sparse matrix-valued computational graphs. It supports self-contained …