Track manipulation, locomotion and embodied systems.
Search papers, labs, and topics across Lattice.
The authors evaluate the numerical fidelity of gradients propagated through long-horizon, contact-rich robotic simulations using differentiable Material Point Method (MPM) benchmarks for elastoplastic and granular manipulation. They find that non-deterministic GPU thread scheduling in many-to-one atomic reductions alters long-horizon gradient trajectories enough to flip their signs, while runtime numerical drift outpaces perturbation signals and invalidates standard finite-difference checks. These instabilities demonstrate that contact-rich differentiable optimization requires deterministic accumulation operators, noise-calibrated verification baselines, and rigorous reporting of loss formulations.
GPU floating-point non-determinism alone is enough to flip the sign of backpropagated gradients in differentiable physics engines, silently corrupting long-horizon robot optimization.
Differentiable physics is increasingly used in robotic material manipulation for system identification, trajectory or skill optimization, demonstration generation, and robot or end-effector design. These applications depend on gradients propagated through long, contact-rich simulation rollouts. We study the numerical reliability of those gradients using two Material Point Method (MPM) system-identification benchmarks derived from elastoplastic and granular manipulation. The benchmarks provide controlled cases for three effects that also arise in broader differentiable physics-based optimization. GPU many-to-one sums whose order depends on thread scheduling changed long-horizon gradients and reversed the sign of one parameter gradient relative to a deterministic reference. Finite-difference checks became less reliable for longer rollouts because repeated-run loss variation grew much faster than the loss change produced by the tested parameter perturbations. Observation and loss definitions changed optimization behaviour and the solution preferred by an independent metric. These results motivate reproducible accumulation, finite-difference validation that compares perturbation-induced loss changes with repeated-run variation, and explicit reporting of objective construction when differentiable simulation is used for robotic optimization.