Institution
Verax Biomedical (United States)
Recent research
- AI & ComputingOpen access
Internet-Draft draft-dogru-cedulon-decision-profile-03, Cedulon Decision Profile: Reconciling an Agent's Decisions Against Its Effects, as posted to the IETF Datatracker on 6 September 2026 (submission 168695), with its XML source and the Markdown it was rendered from. The profil...
- AI & ComputingOpen access
Internet-Draft draft-dogru-cedulon-decision-profile-03, Cedulon Decision Profile: Reconciling an Agent's Decisions Against Its Effects, as posted to the IETF Datatracker on 6 September 2026 (submission 168695), with its XML source and the Markdown it was rendered from. The profil...
- AI & ComputingOpen access
Internet-Draft draft-dogru-cedulon-decision-profile-02, Cedulon Decision Profile: Reconciling an Agent's Decisions Against Its Effects, as posted to the IETF Datatracker on 5 September 2026 (submission 168633), with its XML source and the Markdown it was rendered from. The profil...
- AI & ComputingOpen access
From Governing Source to Warranted Control A Formal Model of Institutional Compilation
This research preprint introduces institutional compilation: a formal model for the governed transformation from governing source to admitted meaning to warranted machine control. The model defines eight jointly necessary obligations: source binding, admission authority, semantic...
- AI & ComputingOpen access
Agentic systems increasingly cross institutional boundaries by initiating payments, changing records, granting access, deploying code, and producing outputs on which organizations rely. Authorization, policy evaluation, runtime monitoring, provenance, conformance checking, and au...