Pith Number

pith:FNQJTKA4

pith:2024:FNQJTKA4E6ZAOG6SVERS63LND5

not attested not anchored not stored refs pending

Compositionally Verifiable Vector Neural Lyapunov Functions for Stability Analysis of Interconnected Nonlinear Systems

Jun Liu, Maxwell Fitzsimmons, Ruikun Zhou, Yiming Meng

arxiv:2403.10007 v1 · 2024-03-15 · eess.SY · cs.SY · math.OC

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

Add to your LaTeX paper

\usepackage{pith}
\pithnumber{FNQJTKA4E6ZAOG6SVERS63LND5}

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:56:28.718588Z
Builder	pith-number-builder-2026-05-17-v1
Signature	Pith Ed25519 (`pith-v1-2026-05`) · public key
Schema	pith-number/v1.0

Canonical hash

2b6099a81c27b2071bd2a9232f6d6d1f56cb30f33d9423c2f902b59c0799748d

Aliases

arxiv: 2403.10007 · arxiv_version: 2403.10007v1 · doi: 10.48550/arxiv.2403.10007 · pith_short_12: FNQJTKA4E6ZA · pith_short_16: FNQJTKA4E6ZAOG6S · pith_short_8: FNQJTKA4

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/FNQJTKA4E6ZAOG6SVERS63LND5 \
  | 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: 2b6099a81c27b2071bd2a9232f6d6d1f56cb30f33d9423c2f902b59c0799748d

Canonical record JSON

{
  "metadata": {
    "abstract_canon_sha256": "84516e60a64777679cc96abf1e82f9346ca430fc8a63a5d39dede5b19522d574",
    "cross_cats_sorted": [
      "cs.SY",
      "math.OC"
    ],
    "license": "http://arxiv.org/licenses/nonexclusive-distrib/1.0/",
    "primary_cat": "eess.SY",
    "submitted_at": "2024-03-15T04:19:32Z",
    "title_canon_sha256": "78cce3d2de30944c870cf10d9dc84dc763cbde5fd50c29f122f21b7f03d1bf4f"
  },
  "schema_version": "1.0",
  "source": {
    "id": "2403.10007",
    "kind": "arxiv",
    "version": 1
  }
}