(Bridges: Controllable Sim Agents × Computing Equilibrium beyond Unilateral Deviation × Validated UCB acquisition superiority)
(Bridges: Controllable Sim Agents × Computing Equilibrium beyond Unilateral Deviation × Validated UCB acquisition superiority)
Adversarial Debate Score
40% 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
- Computing Equilibrium beyond Unilateral Deviation
Most familiar equilibrium concepts, such as Nash and correlated equilibrium, guarantee only that no single player can improve their utility by deviating unilaterally. They offer no guarantees against ...
- What Capable Agents Must Know: Selection Theorems for Robust Decision-Making under Uncertainty
As artificial agents become increasingly capable, what internal structure is *necessary* for an agent to act competently under uncertainty? Classical results show that optimal control can be *implemen...
- A New Lower Bound for the Random Offerer Mechanism in Bilateral Trade using AI-Guided Evolutionary Search
The celebrated Myerson--Satterthwaite theorem shows that in bilateral trade, no mechanism can be simultaneously fully efficient, Bayesian incentive compatible (BIC), and budget balanced (BB). This nat...
- Human-on-the-Bridge: Scalable Evaluation for AI Agents
AI agents must be evaluated as behavioral systems, not as isolated response generators. They reason across turns, call tools, preserve context, follow policies, and act under uncertainty. Existing met...
Computational Result
An LLM's reading of the literature — not computational verification.
Evidence supports hypothesis but highlights potential limitations in dynamic contexts.
Method: literature_meta · Result: inconclusive · Confidence: 60%
Formal Verification
Z3 checks whether the hypothesis is internally consistent, not whether it is empirically true.