Safe, Untrusted, "Proof-Carrying" AI Agents: toward the agentic lakehouse
Fuente:
arXiv
Saved in:
| Main Authors: | Tagliabue, Jacopo, Greco, Ciro |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Eudoxia: a FaaS scheduling simulator for the composable lakehouse
by: Srivastava, Tapan, et al.
Published: (2025)
by: Srivastava, Tapan, et al.
Published: (2025)
Trustworthy AI in the Agentic Lakehouse: from Concurrency to Governance
by: Tagliabue, Jacopo, et al.
Published: (2025)
by: Tagliabue, Jacopo, et al.
Published: (2025)
Querying Everything Everywhere All at Once: Supervaluationism for the Agentic Lakehouse
by: Tagliabue, Jacopo
Published: (2026)
by: Tagliabue, Jacopo
Published: (2026)
Making Databases Faster with LLM Evolutionary Sampling
by: Erol, Mehmet Hamza, et al.
Published: (2026)
by: Erol, Mehmet Hamza, et al.
Published: (2026)
Reproducible data science over data lakes: replayable data pipelines with Bauplan and Nessie
by: Tagliabue, Jacopo, et al.
Published: (2024)
by: Tagliabue, Jacopo, et al.
Published: (2024)
AI for Distributed Systems Design: Scalable Cloud Optimization Through Repeated LLMs Sampling And Simulators
by: Tagliabue, Jacopo
Published: (2025)
by: Tagliabue, Jacopo
Published: (2025)
FaaS and Furious: abstractions and differential caching for efficient data pre-processing
by: Tagliabue, Jacopo, et al.
Published: (2024)
by: Tagliabue, Jacopo, et al.
Published: (2024)
Bauplan: zero-copy, scale-up FaaS for data pipelines
by: Tagliabue, Jacopo, et al.
Published: (2024)
by: Tagliabue, Jacopo, et al.
Published: (2024)
Building a Correct-by-Design Lakehouse. Data Contracts, Versioning, and Transactional Pipelines for Humans and Agents
by: Sheng, Weiming, et al.
Published: (2026)
by: Sheng, Weiming, et al.
Published: (2026)
Transparent, Evaluable, and Accessible Data Agents: A Proof-of-Concept Framework
by: Bahador, Nooshin
Published: (2025)
by: Bahador, Nooshin
Published: (2025)
Is Agent Memory a Database? Rethinking Data Foundations for Long-Term AI Agent Memory
by: Orogat, Abdelghny, et al.
Published: (2026)
by: Orogat, Abdelghny, et al.
Published: (2026)
Re-Thinking Process Mining in the AI-Based Agents Era
by: Berti, Alessandro, et al.
Published: (2024)
by: Berti, Alessandro, et al.
Published: (2024)
Supporting Our AI Overlords: Redesigning Data Systems to be Agent-First
by: Liu, Shu, et al.
Published: (2025)
by: Liu, Shu, et al.
Published: (2025)
ELT-Bench: An End-to-End Benchmark for Evaluating AI Agents on ELT Pipelines
by: Jin, Tengjun, et al.
Published: (2025)
by: Jin, Tengjun, et al.
Published: (2025)
ELT-Bench-Verified: Benchmark Quality Issues Underestimate AI Agent Capabilities
by: Zanoli, Christopher, et al.
Published: (2026)
by: Zanoli, Christopher, et al.
Published: (2026)
Arming Data Agents with Tribal Knowledge
by: Agarwal, Shubham, et al.
Published: (2026)
by: Agarwal, Shubham, et al.
Published: (2026)
The FormAI Dataset: Generative AI in Software Security Through the Lens of Formal Verification
by: Tihanyi, Norbert, et al.
Published: (2023)
by: Tihanyi, Norbert, et al.
Published: (2023)
Evaluating Control Protocols for Untrusted AI Agents
by: Kutasov, Jon, et al.
Published: (2025)
by: Kutasov, Jon, et al.
Published: (2025)
LLM/Agent-as-Data-Analyst: A Survey
by: Tang, Zirui, et al.
Published: (2025)
by: Tang, Zirui, et al.
Published: (2025)
AI-Driven Research for Databases
by: Cheng, Audrey, et al.
Published: (2026)
by: Cheng, Audrey, et al.
Published: (2026)
Interactive Data Harmonization with LLM Agents: Opportunities and Challenges
by: Santos, Aécio, et al.
Published: (2025)
by: Santos, Aécio, et al.
Published: (2025)
The Impact of Modern AI in Metadata Management
by: Yang, Wenli, et al.
Published: (2025)
by: Yang, Wenli, et al.
Published: (2025)
From Questions to Queries: An AI-powered Multi-Agent Framework for Spatial Text-to-SQL
by: Kazazi, Ali Khosravi, et al.
Published: (2025)
by: Kazazi, Ali Khosravi, et al.
Published: (2025)
A Survey of Data Agents: Emerging Paradigm or Overstated Hype?
by: Zhu, Yizhang, et al.
Published: (2025)
by: Zhu, Yizhang, et al.
Published: (2025)
Searching Clinical Data Using Generative AI
by: Hanswadkar, Karan, et al.
Published: (2025)
by: Hanswadkar, Karan, et al.
Published: (2025)
HAIChart: Human and AI Paired Visualization System
by: Xie, Yupeng, et al.
Published: (2024)
by: Xie, Yupeng, et al.
Published: (2024)
QUITE: A Query Rewrite System Beyond Rules with LLM Agents
by: Song, Yuyang, et al.
Published: (2025)
by: Song, Yuyang, et al.
Published: (2025)
AskDB: An LLM Agent for Natural Language Interaction with Relational Databases
by: Phan, Xuan-Quang, et al.
Published: (2025)
by: Phan, Xuan-Quang, et al.
Published: (2025)
From Lossy to Verified: A Provenance-Aware Tiered Memory for Agents
by: Zhu, Qiming, et al.
Published: (2026)
by: Zhu, Qiming, et al.
Published: (2026)
A Blueprint Architecture of Compound AI Systems for Enterprise
by: Kandogan, Eser, et al.
Published: (2024)
by: Kandogan, Eser, et al.
Published: (2024)
Towards Effective Orchestration of AI x DB Workloads
by: Xing, Naili, et al.
Published: (2026)
by: Xing, Naili, et al.
Published: (2026)
A Multi-Agent System for Semantic Mapping of Relational Data to Knowledge Graphs
by: Trajanoska, Milena, et al.
Published: (2025)
by: Trajanoska, Milena, et al.
Published: (2025)
Automated Standardization of Legacy Biomedical Metadata Using an Ontology-Constrained LLM Agent
by: Hardi, Josef, et al.
Published: (2026)
by: Hardi, Josef, et al.
Published: (2026)
Text2SQL is Not Enough: Unifying AI and Databases with TAG
by: Biswal, Asim, et al.
Published: (2024)
by: Biswal, Asim, et al.
Published: (2024)
Thucy: An LLM-based Multi-Agent System for Claim Verification across Relational Databases
by: Theologitis, Michael, et al.
Published: (2025)
by: Theologitis, Michael, et al.
Published: (2025)
PV-SQL: Synergizing Database Probing and Rule-based Verification for Text-to-SQL Agents
by: Tian, Yuan, et al.
Published: (2026)
by: Tian, Yuan, et al.
Published: (2026)
EPIC: Generative AI Platform for Accelerating HPC Operational Data Analytics
by: Karimi, Ahmad Maroof, et al.
Published: (2025)
by: Karimi, Ahmad Maroof, et al.
Published: (2025)
AI-Driven Generation of Data Contracts in Modern Data Engineering Systems
by: Bhoite, Harshraj
Published: (2025)
by: Bhoite, Harshraj
Published: (2025)
VizGen: Data Exploration and Visualization from Natural Language via a Multi-Agent AI Architecture
by: Fernando, Sandaru, et al.
Published: (2025)
by: Fernando, Sandaru, et al.
Published: (2025)
KathDB: Explainable Multimodal Database Management System with Human-AI Collaboration
by: Xiao, Guorui, et al.
Published: (2025)
by: Xiao, Guorui, et al.
Published: (2025)
Similar Items
-
Eudoxia: a FaaS scheduling simulator for the composable lakehouse
by: Srivastava, Tapan, et al.
Published: (2025) -
Trustworthy AI in the Agentic Lakehouse: from Concurrency to Governance
by: Tagliabue, Jacopo, et al.
Published: (2025) -
Querying Everything Everywhere All at Once: Supervaluationism for the Agentic Lakehouse
by: Tagliabue, Jacopo
Published: (2026) -
Making Databases Faster with LLM Evolutionary Sampling
by: Erol, Mehmet Hamza, et al.
Published: (2026) -
Reproducible data science over data lakes: replayable data pipelines with Bauplan and Nessie
by: Tagliabue, Jacopo, et al.
Published: (2024)