Pith Number

pith:HNZOS2BB

pith:2024:HNZOS2BBOBBRE7SEUDLOHDQJBZ

not attested not anchored not stored refs pending

Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems

Alessandro Abate, Ben Goldhaber, Christian Szegedy, Clark Barrett, David "davidad" Dalrymple, Ding Zhao, Jeannette Wing, Joar Skalse, Joe Halpern, Joshua Tenenbaum, Max Tegmark, Nora Ammann, Sanjit Seshia, Steve Omohundro, Stuart Russell, Tan Zhi-Xuan, Yoshua Bengio

arxiv:2405.06624 v3 · 2024-05-10 · cs.AI

Open paper page JSON Open Graph Bundle Merged state Verified badge What is a Pith Number?

Add to your LaTeX paper

\usepackage{pith}
\pithnumber{HNZOS2BBOBBRE7SEUDLOHDQJBZ}

Prints a linked badge after your title and injects PDF metadata. Compiles on arXiv. Learn more · Embed verified badge

Record completeness

1 Bitcoin timestamp

2 Internet Archive

3 Author claim open · sign in to claim

4 Citations open

5 Replications open

✓ Portable graph bundle live · download bundle · merged state

The bundle contains the canonical record plus signed events. A mirror can host it anywhere and recompute the same current state with the deterministic merge algorithm.

Cited by

19 papers in Pith

Interactions Between Crosscoder Features: A Compact Proofs Perspective

Toward Pre-Deployment Assurance for Enterprise AI Agents: Ontology-Grounded Simulation and Trust Certification

Effect-Transparent Governance for AI Workflow Architectures: Semantic Preservation, Expressive Minimality, and Decidability Boundaries

Algebraic Semantics of Governed Execution: Monoidal Categories, Effect Algebras, and Coterminous Boundaries

FVSpec: Real-World Property-Based Tests as Lean Challenges

Receipt and verification

First computed	2026-07-05T08:41:02.684826Z
Builder	pith-number-builder-2026-05-17-v1
Signature	Pith Ed25519 (`pith-v1-2026-05`) · public key
Schema	pith-number/v1.0

Canonical hash

3b72e968217043127e44a0d6e38e090e7a3e538767366430cc3140099f824e73

Aliases

arxiv: 2405.06624 · arxiv_version: 2405.06624v3 · doi: 10.48550/arxiv.2405.06624 · pith_short_12: HNZOS2BBOBBR · pith_short_16: HNZOS2BBOBBRE7SE · pith_short_8: HNZOS2BB

Agent API

Resolver JSON Graph JSON Events JSON Schema Signing key

Verify this Pith Number yourself

curl -sH 'Accept: application/ld+json' https://pith.science/pith/HNZOS2BBOBBRE7SEUDLOHDQJBZ \
  | jq -c '.canonical_record' \
  | python3 -c "import sys,json,hashlib; b=json.dumps(json.loads(sys.stdin.read()), sort_keys=True, separators=(',',':'), ensure_ascii=False).encode(); print(hashlib.sha256(b).hexdigest())"
# expect: 3b72e968217043127e44a0d6e38e090e7a3e538767366430cc3140099f824e73

Canonical record JSON

{
  "metadata": {
    "abstract_canon_sha256": "25ae4dbc94445af2485372a2dbfdcc539da04c719e7ea37625d92527d8f45c98",
    "cross_cats_sorted": [],
    "license": "http://arxiv.org/licenses/nonexclusive-distrib/1.0/",
    "primary_cat": "cs.AI",
    "submitted_at": "2024-05-10T17:38:32Z",
    "title_canon_sha256": "b6be10fe9b276985aeb3c24351ede842bf7ea22682565d8a4a2a8c9debdd9232"
  },
  "schema_version": "1.0",
  "source": {
    "id": "2405.06624",
    "kind": "arxiv",
    "version": 3
  }
}