safety and verification CertViT Certifying pre-trained vision transformers by Lipschitz bounding — and measuring where certification stops working. robust-motor Robustness of neural networks modeling electric-motor time series — relevant to robotic actuators (NeurIPS 2022 RobustSeq). Shrink & Cert Certified robustness as bi-level optimization — deterministic certificates at first-order cost. control and manipulation emg2tendon Mapping surface EMG to tendon control forces for dexterous, musculoskeletal robotic hands (RSS 2025). simulation myosuite-mjx An MJX (MuJoCo-XLA / JAX) backend for MyoSuite enabling GPU-accelerated, massively parallel musculoskeletal RL. applied systems SantaBot Instruction-following tabletop pick-and-place robot built for the AMD × LeRobot 2025 hackathon.
