Agentic AI workflows can be verified at design time by composing them from reusable building blocks and checking compatibility via twelve structural rules, with reliable detection shown on flawed and transformed workflow datasets.
Compositional assume-guarantee reasoning for input/output component theories
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.AI 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Composing Verifiable Conceptual Models via Building Blocks: Towards Design-Time Verification of Agentic AI Workflows
Agentic AI workflows can be verified at design time by composing them from reusable building blocks and checking compatibility via twelve structural rules, with reliable detection shown on flawed and transformed workflow datasets.