verifiable-computation

Tag

Cards List
#verifiable-computation

Time as Structure: Temporal Dependency Graphs for Verifiable Deadline Computation over Legal Documents

arXiv cs.CL · 2026-08-18 Cached

The paper introduces temporal dependency graphs extracted from legal documents to compute filing deadlines, showing a pipeline approach outperforms direct language model answering in accuracy.

0 favorites 0 likes
#verifiable-computation

Governing Actions, Not Agents: Institutional Attestation as a Governance Model for Autonomous AI Systems

arXiv cs.AI · 2026-06-26 Cached

This paper proposes a governance model for autonomous AI agents based on institutional attestation, where actions are governed through independently attested evidence rather than monitoring agent reasoning. It formalizes this approach with a proof-of-concept implementation for high-risk actions like clinical prescribing and software deployment.

0 favorites 0 likes
← Back to home

Submit Feedback