KalmanFormer: Integrating a Deep Motion Model into SORT for Video Multi-Object Tracking | Synapse