Agentic AI systems with hardware-enforced compute budgets (Resourced Authority) will reduce coalition-based deviations in pulsar timing array (PTA) data-sharing networks by ≥30% compared to unconstrained multi-agent coordination, as measured by cooperative game-theoretic stability metrics (e.g., core non-emptiness).
Agentic AI systems with hardware-enforced compute budgets (Resourced Authority) will reduce coalition-based deviations in pulsar timing array (PTA) data-sharing networks by ≥30% compared to unconstrained multi-agent coordination, as measured by cooperative game-theoretic stability metrics (e.g., core non-emptiness).
Adversarial Debate Score
46% survival rate under critique
Expert panel critique
Independent views, each critiquing the hypothesis on its own — the score rewards genuine disagreement and discounts consensus.
Supporting Research Papers
- Resourced Authority A Mechanism-Design Model for Participatory Governance of Deployed AI Agents
We give a formal mechanism design model for the continuous participatory governance of a deployed AI agent. The mechanism is built on the principle that governance should control an AI agent through r...
- SolarChain-Eval: A Physics-Constrained Benchmark for Trustworthy Economic Agents in Decentralized Energy Markets
As agentic AI systems are increasingly applied to cyber-physical environments, their evaluation requires assessment of both task performance and trustworthiness. In decentralized energy markets, auton...
- The Self Driving Portfolio: Agentic Architecture for Institutional Asset Management
Agentic AI shifts the investor's role from analytical execution to oversight. We present an agentic strategic asset allocation pipeline in which approximately 50 specialized agents produce capital mar...
- AtumAI: A Principled Framework for Agentic Generation of Datacenter Control-Plane Policies
The efficiency of a datacenter rests on its control plane policies. Designing these policies is increasingly hard: the hardware-software stack grows fast, the design space is vast and interdependent, ...
Formal Verification
Z3 checks whether the hypothesis is internally consistent, not whether it is empirically true.