Formalizing Cooperation and Competition: An AI-Assisted Mathematical Addendum to a 2018 Planning Thesis

arXiv:2610.29637 · cs.GT, cs.AI · Submitted 2026-10-21 · Read on arXiv

cs.GT, cs.AI

Submitted: 2026-10-21

Updated: 2026-10-21

Comments: 24 pages, 4 figures. Mathematical addendum to the author's 2018 University of Waterloo PhD thesis. Includes Lean 4 formalization and reproducible synthetic experiments as ancillary material

License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/

Terminology

• Cooperation — 1× in this paper · explained in 2 episodes

Related papers

• Exact Regret Frontiers and Externality Scheduling in Centralized Serial-Dictatorship Bandits
• In-Context Credit Assignment via the Core
• Optimal Regret for Online Market Making with Limit Order Book
• Breaking 1/epsilon Barrier in Quantum Zero-Sum Games: Generalizing Metric Subregularity for Spectraplexes
• Enhancing Affine Maximizer Auctions with Correlation-Aware Payment
• Adversarial procurement in blockchains