Pith Number

pith:QBLB452D

pith:2024:QBLB452DZ3PJISX53ZHLDG273I

not attested not anchored not stored refs pending

The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results

Christopher Brix, Haoze Wu, Stanley Bak, Taylor T. Johnson

arxiv:2412.19985 v1 · 2024-12-28 · cs.LG · 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{QBLB452DZ3PJISX53ZHLDG273I}

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

12 papers in Pith

Shifting-based Optimizable Linear Relaxations for General Activation Functions

Vancomycert: A Certified Neuro-Symbolic Drug Delivery System (Case Study)

Scaling Neural Network Verification with Tensor Parallelism and Fully Sharded Data Parallelism

Parallel Differentiable Reachability for Learning and Planning with Certified Neural Dynamics and Controllers

The Complexity of Verifying Feedforward Neural Networks in Quantised Settings

Receipt and verification

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

Canonical hash

80561e7743cede944afdde4eb19b5fda186f5e8412c659d8033d5db38978a959

Aliases

arxiv: 2412.19985 · arxiv_version: 2412.19985v1 · doi: 10.48550/arxiv.2412.19985 · pith_short_12: QBLB452DZ3PJ · pith_short_16: QBLB452DZ3PJISX5 · pith_short_8: QBLB452D

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/QBLB452DZ3PJISX53ZHLDG273I \
  | 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: 80561e7743cede944afdde4eb19b5fda186f5e8412c659d8033d5db38978a959

Canonical record JSON

{
  "metadata": {
    "abstract_canon_sha256": "ac4816146d12064f43765ba3c7301deea6800dc48055226524ab8d66ab987612",
    "cross_cats_sorted": [
      "cs.AI"
    ],
    "license": "http://creativecommons.org/licenses/by/4.0/",
    "primary_cat": "cs.LG",
    "submitted_at": "2024-12-28T03:07:00Z",
    "title_canon_sha256": "8bc4fd353461a2e49639526a66ef8fd048f7fc9379ec7fde782444ab3557f672"
  },
  "schema_version": "1.0",
  "source": {
    "id": "2412.19985",
    "kind": "arxiv",
    "version": 1
  }
}