SymForce: Symbolic Computation and Code Generation for Robotics. - Hayk Martiros; Aaron Miller; Nathan Bucki; Bradley Solliday; Ryan Kennedy; Jack Zhu; Tung Dang; Dominic Pattison; Harrison Zheng; Teo Tomic; Peter Henry; Gareth Cross; et al. (Robotics: Science and Systems, 2022)