1 paper
Mahesh Balakrishnan, Ashwin Bharambe, Davide Testuggine +7
Agents are LLM-driven components that can mutate environments in powerful, arbitrary ways. Extracting guarantees for the execution of agents in production environments can be chall…