Search papers, labs, and topics across Lattice.
VADAOrchestra is a neurosymbolic framework that integrates Large Language Models (LLMs) with traditional Business Process Management to create adaptable reasoning workflows. By employing a hybrid approach that combines LLM-based orchestration with a Datalog+/- symbolic engine, the framework allows for dynamic planning and execution of workflows while maintaining verifiability and scalability. Evaluations on real-world financial use cases reveal that VADAOrchestra outperforms standard agentic architectures in terms of faithfulness, scalability, and explainability.
VADAOrchestra achieves verifiable and adaptable decision-making workflows by seamlessly integrating LLMs with symbolic reasoning, outperforming traditional systems in real-world applications.
Decision-making in real-world settings rarely follows a fixed script. Instead, it unfolds as a dynamic reasoning process in which the appropriate course of action evolves as new context and data become available. Traditional Business Process Management systems provide rigor, determinism, and auditability, yet they generally struggle to adapt their execution at runtime. Conversely, agentic systems based on Large Language Models (LLMs) bring flexibility to decision-making, but they are inherently opaque, often unreliable, and suffer from significant scalability constraints when operating over large datasets. To combine these complementary paradigms, we introduce VADAOrchestra, a neurosymbolic framework that models complex workflows as evolving reasoning processes. The framework adopts a hybrid approach: given a user query and a collection of data sources, an LLM-based orchestrator incrementally plans and adapts the workflow. This is encoded as a logic program in a fragment of Datalog+/- where predicates correspond to tool invocations and rules represent both predefined domain dependencies and logic constructs synthesized on demand to manipulate intermediate results. All logical inference tasks are then executed by a state-of-the-art Datalog+/- symbolic engine. This approach provides a verifiable reasoning trace, supporting the auditability and reproducibility of the entire process. Furthermore, by decoupling high-level orchestration from symbolic inference, it addresses scalability concerns, enabling complex reasoning over large datasets through targeted data querying. We evaluate VADAOrchestra on real-world financial use cases, demonstrating faithfulness, scalability, and explainability compared to standard agentic architectures.
