Author name: Fabio Rovai

CIVeX: Causal Intervention Verification for Language Agents

Fabio Rovai / May 12, 2026

arXiv:2605.09168v1 Announce Type: new
Abstract: A valid tool call is not necessarily a valid intervention. Tool-using language agents are guarded by schema validators, policy filters, provenance checks, state predictors, and self-verification, yet suc…

cs.AI, cs.CL, cs.DB

Open Ontologies: Tool-Augmented Ontology Engineering with Stable Matching Alignment

Fabio Rovai / May 12, 2026

arXiv:2605.09184v1 Announce Type: new
Abstract: We present Open Ontologies, an open-source ontology engineering system implemented in Rust that integrates LLM-driven construction with formal OWL reasoning and ontology alignment via the Model Context P…