formal-framework

Tag

Cards List
#formal-framework

QUIVER: A Formal Framework for Quantifying Perturbation Propagation and Bifurcation in Compound AI Systems

arXiv cs.AI · 2026-05-26 Cached

QUIVER introduces a formal framework for quantifying how perturbations propagate through compound AI systems structured as computation graphs, defining sensitivity matrices, trajectory divergence, bifurcation thresholds, and distribution faithfulness, with validation on production and public pipelines.

0 favorites 0 likes
#formal-framework

Discoverable Agent Knowledge -- A Formal Framework for Agentic KG Affordances (Extended Version)

arXiv cs.AI · 2026-05-20 Cached

This extended paper revisits Semantic Web Services insights for Knowledge Graphs, proposing a four-dimensional formal framework and an Agentic Affordance Profile (AAP) to enable principled KG selection, composition, and failure diagnosis at agent planning time.

0 favorites 0 likes
← Back to home

Submit Feedback