3 papers
cs.OS2026
Planarian: Managing Agent State with Statepoints
Jinnan Guo, Hao Mark Chen, Kapil Vaswani +2
LLM agents solve complex tasks by iteratively changing files, invoking local tools, and interacting with remote services, which modifies state across their local environment and re…
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…
cs.CR2024
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…