paolovella/Arena: v1.0.0 - Vella Debate Theory

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: paolovella
DOI: 10.5281/zenodo.18404374
Cited by: 0

Abstract

Lean 4 formalization of "Rigorous Foundations for Multi-Agent AI Debate" - 1,904 lines of verified code - Zero sorries - Accompanies arXiv submission

Fields of Study & Subjects

Multi-Agent Systems and Negotiation Logic Reasoning and Knowledge programming and type systems

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
28 January 2026