Artificial Intelligence

Authors and titles for August 2026

Total of 3 entries. next month ›

[1] marXiv:2608.00054 [pdf]

Title: Five Adjudication Procedures by Procedural Complexity

Authors: Jamie Stephens

Comments: 7 pages, 2 tables

Subjects: Artificial Intelligence (cs.AI)

[2] marXiv:2608.00053 [pdf]

Title: Evaluating Judge Actions Through a Production Adjudication Runtime

Authors: Jamie Stephens

Comments: 8 pages, 2 tables

Subjects: Artificial Intelligence (cs.AI)

[3] marXiv:2608.00036 (cross-list from cs.LO) [pdf]

Title: Goal-Shape Tactic Retrieval for Exact WebAssembly Artifact Proofs

Authors: Anonymous manuscript

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)