Shai Shalev-ShwartzOn a Formal Model of Safe and Scalable Self-driving CarsSafe, Multi-Agent, Reinforcement Learning for Autonomous DrivingJamba: A Hybrid Transformer-Mamba Language ModelJamba-1.5: Hybrid Transformer-Mamba Models at ScaleAll names