Pith Number

pith:F46R2GUG

pith:2022:F46R2GUG7RR2U2WSTV4N4FXHT4

not attested not anchored not stored refs pending

Joint Differentiable Optimization and Verification for Certified Reinforcement Learning

Chao Huang, Qi Zhu, Simon Zhan, Yixuan Wang, Zhaoran Wang, Zhilu Wang, Zhuoran Yang

arxiv:2201.12243 v2 · 2022-01-28 · 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{F46R2GUG7RR2U2WSTV4N4FXHT4}

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

1 paper in Pith

Learning Verifiable Control Policies Using Relaxed Verification

Receipt and verification

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

Canonical hash

2f3d1d1a86fc63aa6ad29d78de16e79f33d989e6e068e001e9daea81f7657d38

Aliases

arxiv: 2201.12243 · arxiv_version: 2201.12243v2 · doi: 10.48550/arxiv.2201.12243 · pith_short_12: F46R2GUG7RR2 · pith_short_16: F46R2GUG7RR2U2WS · pith_short_8: F46R2GUG

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/F46R2GUG7RR2U2WSTV4N4FXHT4 \
  | 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: 2f3d1d1a86fc63aa6ad29d78de16e79f33d989e6e068e001e9daea81f7657d38

Canonical record JSON

{
  "metadata": {
    "abstract_canon_sha256": "5e68687496c933b34fca4d7fba53da06cf972a76ca27475749a684d91bb9c0c1",
    "cross_cats_sorted": [
      "cs.SY",
      "eess.SY"
    ],
    "license": "http://arxiv.org/licenses/nonexclusive-distrib/1.0/",
    "primary_cat": "cs.LG",
    "submitted_at": "2022-01-28T16:53:56Z",
    "title_canon_sha256": "ea6d12f515aaad2d938c81f77fc24541bbc9396b8d78acd9e2cd5db7b9d1ce3e"
  },
  "schema_version": "1.0",
  "source": {
    "id": "2201.12243",
    "kind": "arxiv",
    "version": 2
  }
}