Artificial Intelligence

Authors and titles for recent submissions

Total of 6 entries. See today's new changes

Sat, 19 Sep 2026 (showing 1 of 1 entries)

[1] marXiv:2609.00015 [pdf]

Title: Civil Adjudication of a Prediction-Market Resolution: An ADC Case Study of Israel’s December 2024 Entry into Syria

Authors: Jamie Stephens

Comments: 36 pages

Subjects: Artificial Intelligence (cs.AI)

Mon, 21 Sep 2026 (showing 1 of 1 entries)

[1] marXiv:2609.00010 [pdf]

Title: CAP: Goals, Architecture, and Intended Scenarios

Authors: Jamie Stephens

Comments: 17 pages, 1 figure, 3 tables, 31 references

Subjects: Artificial Intelligence (cs.AI); Software Engineering (cs.SE); Distributed, Parallel, and Cluster Computing (cs.DC)

Fri, 18 Sep 2026 (showing 1 of 1 entries)

[1] marXiv:2609.00009 [pdf]

Title: Adjudicating a Prediction-Market Resolution: An ARB Case Study of Israel’s December 2024 Entry into Syria

Authors: Jamie Stephens

Comments: 19 pages

Subjects: Artificial Intelligence (cs.AI)

Sun, 30 Aug 2026 (showing 2 of 2 entries)

[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)

Tue, 11 Aug 2026 (showing 1 of 1 entries)

[1] 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)