Pith Number

pith:WZUF2KQB

pith:2024:WZUF2KQBMBS7WL2KDRGMNIB5C7

not attested not anchored not stored refs pending

Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates

Baoluo Meng, Clark Barrett, Fletcher Lee Newell, Guy Amir, Guy Katz, Haoze Wu, Ieva Daukantas, Michael Durling, Milan Ganai, Tobey Shim, Udayan Mandal, Umberto J. Ravaioli

arxiv:2405.14058 v2 · 2024-05-22 · cs.AI · cs.LG · cs.SY · eess.SY

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

Add to your LaTeX paper

\usepackage{pith}
\pithnumber{WZUF2KQBMBS7WL2KDRGMNIB5C7}

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

2 papers in Pith

A Review On Safe Reinforcement Learning Using Lyapunov and Barrier Functions

Efficient Verification of Neural Control Barrier Functions with Smooth Nonlinear Activations

Receipt and verification

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

Canonical hash

b6685d2a016065fb2f4a1c4cc6a03d17e6863d5bcea5455385fbf6c2476235df

Aliases

arxiv: 2405.14058 · arxiv_version: 2405.14058v2 · doi: 10.48550/arxiv.2405.14058 · pith_short_12: WZUF2KQBMBS7 · pith_short_16: WZUF2KQBMBS7WL2K · pith_short_8: WZUF2KQB

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/WZUF2KQBMBS7WL2KDRGMNIB5C7 \
  | 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: b6685d2a016065fb2f4a1c4cc6a03d17e6863d5bcea5455385fbf6c2476235df

Canonical record JSON

{
  "metadata": {
    "abstract_canon_sha256": "cc2626827196f24c01148e92747845b90431b6b799980b63140ddc480aa08b07",
    "cross_cats_sorted": [
      "cs.LG",
      "cs.SY",
      "eess.SY"
    ],
    "license": "http://arxiv.org/licenses/nonexclusive-distrib/1.0/",
    "primary_cat": "cs.AI",
    "submitted_at": "2024-05-22T23:06:34Z",
    "title_canon_sha256": "11b726ed3ad4af2df5aa8a327fa92aaf0e1eec90a2cbed9d8ac20b25cb511d8c"
  },
  "schema_version": "1.0",
  "source": {
    "id": "2405.14058",
    "kind": "arxiv",
    "version": 2
  }
}