SPEAR: Exact Gradient Inversion of Batches in Federated Learning - Dimitrov, Dimitar I.; Baader, Maximilian; Müller, Mark Niklas; Vechev, Martin (Advances in Neural Information Processing Systems, 2024)