Search papers, labs, and topics across Lattice.
1
0
3
34
Formalizing LLM-based agent conversations with a lambda calculus reveals vulnerabilities like prompt injection and enables rigorous reasoning about defenses.