Safe, Untrusted, "Proof-Carrying" AI Agents: Toward the Agentic Lakehouse

Jacopo Tagliabue, Ciro Greco. Safe, Untrusted, "Proof-Carrying" AI Agents: Toward the Agentic Lakehouse. In IEEE International Conference on Big Data, BigData 2025, Macau, China, December 8-11, 2025. pages 7908-7912, IEEE, 2025. [doi]

Abstract

Abstract is missing.