Agentics 2.0: Logical Transduction Algebra for Agentic Data Workflows
Alfio Massimiliano Gliozzo, Junkyu Lee, Nahuel Defosse

TL;DR
Agentics 2.0 introduces a formal algebraic framework for building reliable, scalable, and explainable agentic data workflows using typed semantic transformations, demonstrated on challenging benchmarks.
Contribution
It presents a novel logical transduction algebra formalism for structured data workflows, enabling semantic reliability and scalability in agentic AI systems.
Findings
Achieves state-of-the-art performance on DiscoveryBench and Archer benchmarks.
Provides semantic reliability through strong typing and evidence tracing.
Enables scalable execution via stateless parallel processing.
Abstract
Agentic AI is rapidly transitioning from research prototypes to enterprise deployments, where requirements extend to meet the software quality attributes of reliability, scalability, and observability beyond plausible text generation. We present Agentics 2.0, a lightweight, Python-native framework for building high-quality, structured, explainable, and type-safe agentic data workflows. At the core of Agentics 2.0, the logical transduction algebra formalizes a large language model inference call as a typed semantic transformation, which we call a transducible function that enforces schema validity and the locality of evidence. The transducible functions compose into larger programs via algebraically grounded operators and execute as stateless asynchronous calls in parallel in asynchronous Map-Reduce programs. The proposed framework provides semantic reliability through strong typing,…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsScientific Computing and Data Management · Logic, programming, and type systems · Semantic Web and Ontologies
