1 citations · 1 across the 2 of their papers we have counts for
1 paper · 1 filter
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…