English
Related papers

Related papers: From Craft to Kernel: A Governance-First Execution…

200 papers

We present a machine-checked formalization of structurally governed AI workflow architectures and prove that effect-level governance can be imposed without reducing internal computational expressivity. Using Interaction Trees in Rocq 8.19,…

Artificial Intelligence · Computer Science 2026-05-27 Alan L. McCann

We present Context, the intelligence layer of the Magarshak Architecture, which replaces reactive query-response chatbots with proactive goal-directed agents that advance shared tasks without waiting for user prompts. The architecture rests…

Artificial Intelligence · Computer Science 2026-05-26 Gregory Magarshak

Scientific workflow systems automate execution -- scheduling, fault tolerance, resource management -- but not the semantic translation that precedes it. Scientists still manually convert research questions into workflow specifications, a…

Artificial Intelligence · Computer Science 2026-04-24 Bartosz Balis , Michal Orzechowski , Piotr Kica , Michal Dygas , Michal Kuszewski

Autonomous AI agents are rapidly transitioning from experimental tools to operational infrastructure, with projections that 80% of enterprise applications will embed AI copilots by the end of 2026. As agents gain the ability to execute…

Cryptography and Security · Computer Science 2026-04-15 Joel Fokou

Token-level adaptive computation seeks to reduce inference cost by allocating more computation to harder tokens and less to easier ones. However, prior work is primarily evaluated on natural-language benchmarks using task-level metrics,…

Computation and Language · Computer Science 2026-02-10 Ibraheem Muhammad Moosa , Suhas Lohit , Ye Wang , Moitreya Chatterjee , Wenpeng Yin

AI governance programmes increasingly rely on natural language prompts to constrain and direct AI agent behaviour. These prompts function as executable specifications: they define the agent's mandate, scope, and quality criteria. Despite…

Software Engineering · Computer Science 2026-04-24 Christo Zietsman

Topology optimization can generate efficient structures, but designers often must manually translate qualitative intent, such as desired visual style, product experience, or manufacturability into solver settings that are not directly tied…

Artificial Intelligence · Computer Science 2026-05-22 Isabella A. Stewart , Hongrui Chen , Faez Ahmed

Enterprise software organizations accumulate critical institutional knowledge - architectural decisions, deployment procedures, compliance policies, incident playbooks - yet this knowledge remains trapped in formats designed for human…

Artificial Intelligence · Computer Science 2026-03-17 Gal Bakal

For multi-agent reinforcement learning systems (MARLS), the problem formulation generally involves investing massive reward engineering effort specific to a given problem. However, this effort often cannot be translated to other problems;…

Multiagent Systems · Computer Science 2024-04-16 Ashish Rana , Michael Oesterle , Jannik Brinkmann

For the last several years, the dominant narrative in "agentic AI" has been that large language models should orchestrate information access by dynamically selecting tools, issuing sub-queries, and synthesizing results. We argue this…

Databases · Computer Science 2026-04-24 Fabian Wenz , Felix Treutwein , Kai Arenja , Çagatay Demiralp , Michael Stonebraker

We introduce Context Kubernetes, an architecture for orchestrating enterprise knowledge in agentic AI systems, with a prototype implementation and eight experiments. The core observation is that delivering the right knowledge, to the right…

Artificial Intelligence · Computer Science 2026-04-17 Charafeddine Mouzouni

The most celebrated and extensively studied model of distributed computing is the {\em message-passing model,} in which each vertex/node of the (distributed network) graph corresponds to a static computational device that communicates with…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-07-08 Ajay D. Kshemkalyani , Manish Kumar , Anisur Rahaman Molla , Gokarna Sharma

The rapid evolution of autonomous, agentic artificial intelligence within financial services has introduced an existential architectural crisis: large language models (LLMs) are probabilistic, non-deterministic systems operating in domains…

Logic in Computer Science · Computer Science 2026-04-03 Devakh Rashie , Veda Rashi

Current agentic AI architectures are fundamentally incompatible with the security and epistemological requirements of high-stakes scientific workflows. The problem is not inadequate alignment or insufficient guardrails, it is architectural:…

Cryptography and Security · Computer Science 2026-02-11 Manish Bhattarai , Minh Vu

Can machines truly think, reason and act in domains like humans? This enduring question continues to shape the pursuit of Artificial General Intelligence (AGI). Despite the growing capabilities of models such as GPT-4.5, DeepSeek, Claude…

Large language models (LLMs) can now translate a researcher's plain-language goal into executable computation, yet scientific workflows demand determinism, provenance, and governance that are difficult to guarantee when an LLM decides what…

Agentic AI systems, specifically LLM-driven agents that plan, invoke tools, maintain persistent memory, and delegate tasks to peer agents via protocols such as MCP and A2A, introduce a threat surface that differs materially from standalone…

Cryptography and Security · Computer Science 2026-05-08 Javad Forough , Marios Kogias , Hamed Haddadi

An agent must act on the situation before it, learn what it cannot yet represent, and model other agents well enough to coordinate. These faculties are usually realized by separate mechanisms, yet they share a failure mode: the situation…

Neurons and Cognition · Quantitative Biology 2026-05-26 Chainarong Amornbunchornvej

Agentic AI is rapidly proliferating across diverse real-world domains such as software engineering, yet public trust has not kept pace. The central reason is that responsibility, despite being widely discussed, remains a subjective and…

Artificial Intelligence · Computer Science 2026-05-19 Jinwei Hu , Xinmiao Huang , Qisong He , Youcheng Sun , Yi Dong , Xiaowei Huang

Agentic AI serving converts monolithic LLM-based inference to autonomous problem-solvers that can plan, call tools, perform reasoning, and adapt on the fly. Due to diverse task execution need, such serving heavily rely on heterogeneous…

Artificial Intelligence · Computer Science 2026-04-20 Ritik Raj , Souvik Kundu , Ishita Vohra , Hong Wang , Tushar Krishna