Pith Number

pith:LXZSDEZJ

pith:2023:LXZSDEZJFCMUV6W5K474PALVRW

not attested not anchored not stored refs pending

Bayesian Learning for the Robust Verification of Autonomous Robots

Calum Imrie, David Flynn, Radu Calinescu, Simos Gerasimou, Valentin Robu, Xingyu Zhao

arxiv:2303.08476 v2 · 2023-03-15 · cs.RO · 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{LXZSDEZJFCMUV6W5K474PALVRW}

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.

Receipt and verification

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

Canonical hash

5df321932928994afadd573fc781758db275ae7504434a31f1edabbbb8879eb3

Aliases

arxiv: 2303.08476 · arxiv_version: 2303.08476v2 · doi: 10.48550/arxiv.2303.08476 · pith_short_12: LXZSDEZJFCMU · pith_short_16: LXZSDEZJFCMUV6W5 · pith_short_8: LXZSDEZJ

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/LXZSDEZJFCMUV6W5K474PALVRW \
  | 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: 5df321932928994afadd573fc781758db275ae7504434a31f1edabbbb8879eb3

Canonical record JSON

{
  "metadata": {
    "abstract_canon_sha256": "0d28abd4278fa8cc0e2b9c817dd88aa406fae1f2eb4b6cd7283a7569156db50c",
    "cross_cats_sorted": [
      "cs.AI"
    ],
    "license": "http://creativecommons.org/licenses/by/4.0/",
    "primary_cat": "cs.RO",
    "submitted_at": "2023-03-15T09:29:27Z",
    "title_canon_sha256": "09e6185b4470f37e6a030e7408cae3ead233a96e563c6afba6c7b5d57cf5747a"
  },
  "schema_version": "1.0",
  "source": {
    "id": "2303.08476",
    "kind": "arxiv",
    "version": 2
  }
}