22 papers · ranked by Valyu relevance
David Ribeiro Alves, Vishnu A Patankar, Matheus Pereira, Jamie Stephens + 2 more
EigenAI is a verifiable AI platform built on top of the EigenLayer restaking ecosystem. At a high level, it combines a deterministic large–language model (LLM) inference engine with a cryptoeconomically secured optimistic re–execution protocol so that every inference result can be publicly audited, reproduced and, if…
Harun Teper, Shaokai Lin, Shulu Li, Edward A. Lee + 1 more
The Robot Operating System~2 (ROS 2) is a widely used middleware for robotic systems, characterized by a publish-subscribe (pub-sub) communication mechanism in which computation is structured as callbacks dispatched by ROS 2 executors. Despite its popularity, the pub-sub pattern in ROS 2 is inherently nondeterministic…
Naing Oo Lwin, Rajesh Kumar
Modernizing legacy COBOL systems remains difficult due to scarce expertise, large and long-lived codebases, and strict correctness requirements. Recent large language model (LLM)-based modernization systems increasingly rely on agentic workflows in which the model controls multi-step tool execution. However, it remains…
Moine, Alexandre, Westrick, Sam + 2 more
Nondeterminism makes parallel programs challenging to write and reason about. To avoid these challenges, researchers have developed techniques for internally deterministic parallel programming, in which the steps of a parallel computation proceed in a deterministic way. Internal determinism is useful because it lets a…
Manuel Corpas, Alfredo Iacoangeli, Mathieu Bourdenx, Mahmoud Aldraimli + 3 more
Genomics is adopting autonomous AI agents that interpret genomes from natural-language instructions faster than it is building the means to trust them. We report the first large-scale controlled evaluation of where, in an agentic genomic pipeline, correctness must reside for the system to be trustworthy at clinical…
Kyriakos Psarakis, George Christodoulou, George Siachamis, Marios Fragkoulis + 1 more
Developing stateful cloud applications, such as low-latency workflows and microservices with strict consistency requirements, remains arduous for programmers. The Stateful Functions-as-a-Service (SFaaS) paradigm aims to serve these use cases. However, existing approaches provide weak transactional guarantees or perform…
Keyvan Aghababaiyan, Baldomero Coll-Perales, Javier Gozalvez
Latency-critical IoT applications, such as autonomous mobility and industrial automation, require deterministic guarantees to ensure that tasks are completed within strict deadlines. The 6G-enabled IoT-edge-cloud continuum can support such requirements by leveraging communication, computation and intelligence resources…
Zhengqing Liu, Alberto Sonnino, Igor Zablotchi, Eleftherios Kokoris Kogias + 1 more
Modern blockchains rely on a modular architecture that decouples consensus from execution. Recent advances in consensus algorithms have shifted the bottleneck to the execution layer, which must deterministically follow the consensus order and handle increasingly complex, compute-intensive smart contracts. We identify…
Michaël A. Elbaz, Kole Butterer, Sara A. Solla, Joshua I. Glaser + 1 more
Deciding when to act in the absence of external cues is essential for exploration, learning, and survival. Yet the neural mechanisms underlying such decisions remain controversial, with current views favoring either deterministic or stochastic underpinnings. We simultaneously recorded from large neuronal populations in…
Clémence Bergerot, Pawel Romanczuk, Wolfram Barfuss
Understanding how cognition shapes behavior across contexts remains a fundamental challenge for many disciplines. In particular, for the optimism heuristic–i.e., the tendency to overweight positive (relative to negative) information–knowledge remains fragmented, with models developed in specific domains in isolation.…
Ulrich Schmid, Stephan Felber, Hugo Rincon Galeana
We provide a complete characterization of the solvability/impossibility of deterministic stabilizing consensus in virtually any computing model with benign process and communication faults using point-set topology. Relying on the topologies for infinite executions introduced by Nowak, Schmid and Winkler (JACM, 2024)…
Kevin Mastro, Lauren Stanwicks, Erin Schoenbeck, Alex Melain + 3 more
Animals navigating dynamic environments must transition between behavioral states dominated by exploitation of known rewards or exploration of alternatives. Understanding this flexibility requires characterizing not only choices and outcomes but also how reward information updates strategy. Common marmosets offer a…
Ziwei Yin, Jian K. Liu, Katja Kornysheva
Dissociating the neural mechanisms of movement preparation from those of execution across the brain is fundamental to understanding motor control. Invasive recordings in primary motor cortex (M1) indicate that shared neural populations support both phases by unfolding within orthogonal subspaces or “manifolds”, yet…
Siyu Wang, Robert C. Wilson, Jean Daunizeau
Human decision making is inherently variable. While this variability is often seen as a sign of suboptimal behavior, both theoretical work in machine learning and empirical human studies suggest that variability can actually be adaptive. An example arises when we must choose between exploring unknown options or…
Zhijie Luo, Shaoxin Li, Wufa Long, Rui Chen + 1 more
Digital microfluidic biochips (DMFBs) find extensive applications in biochemical experiments, medical diagnostics, and safety-critical domains, with their reliability dependent on efficient online testing technologies. However, traditional random search algorithms suffer from slow convergence and susceptibility to…
Patrick Zhong, Federico Rossi, Dylan A. Shell
An important class of robotic applications involves multiple agents cooperating to provide state observations to plan joint actions. We study planning under uncertainty when more than one participant must proactively plan perception and/or communication acts, and decide whether the cost to obtain a state estimate is…
Petar Radanliev, Omar Santos, Carsten Maple, Kayvan Atefi
Introduction Agentic AI systems integrate foundation models, prompt templates, tool connectors, orchestration logic, and containerised dependencies, creating exploitability conditions that cannot be inferred from static Software Bills of Materials (SBOMs). Artificial Intelligence Bills of Materials (AIBOM) extend…
You Li, Samuel Mandell, David Z. Pan
Large language models (LLMs) have achieved remarkable success in software development. However, they are susceptible to hallucinations, meaning that they can introduce subtle semantic and logical errors. Due to the high stakes in chip design and manufacturing, hardware engineers are still reluctant to rely on LLMs for…
Mateusz Gruzewski, Marek Palkowski, Ramon Antonio Rodriges Zalipynis
In this article, we present an efficient and concise OpenMP implementation of the Nussinov RNA folding algorithm, a well-known representative of non-serial polyadic dynamic programming (NPDP). Our goal is to develop an optimized implementation that can serve as a template for related dynamic programming applications.…
Authors not listed
Self-driving laboratories (SDLs) promise accelerated scientific discovery and product development by closing the loop between robotic execution and AI/ML-driven decision making. In practice, however, SDL orchestration remains fragmented; workflows are typically encoded as laboratory-specific scripts or bespoke…
Authors not listed
The rapid growth of worldwide computing power has transformed in silico chemistry into a discipline that is integrated into the daily work of many chemists. Nowadays, researchers find it increasingly straightforward to predict a wide range of molecular properties and chemi- cal processes at reasonable computational…
Shangbin Ma, Youming Li
The global potential of a chemical reaction network has many applications and is closely related to the stochastic detailed balance. However, many fundamental questions concerning stochastic detailed balance remain unresolved, such as whether it depends on the system volume and how to construct new systems that satisfy…