2 papers
cs.CR2026
VerifiableFL: Verifiable Claims for Federated Learning using Exclaves
Jinnan Guo, Kapil Vaswani, Andrew Paverd +1
In federated learning (FL), data providers jointly train a machine learning model without sharing their training data. This makes it challenging to provide verifiable claims about…
cs.DC2025
Tempo: Compiled Dynamic Deep Learning with Symbolic Dependence Graphs
Pedro F. Silvestre, Peter Pietzuch
Deep learning (DL) algorithms are often defined in terms of temporal relationships: a tensor at one timestep may depend on tensors from earlier or later timesteps. Such dynamic dep…