Pith Number

pith:62LJAXOL

pith:2024:62LJAXOLTT664PUD6W3TSQRO6T

not attested not anchored not stored refs pending

miniCTX: Neural Theorem Proving with (Long-)Contexts

Jiewen Hu, Sean Welleck, Thomas Zhu

arxiv:2408.03350 v3 · 2024-08-05 · cs.AI · cs.CL · cs.LG

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

Add to your LaTeX paper

\usepackage{pith}
\pithnumber{62LJAXOLTT664PUD6W3TSQRO6T}

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

5 papers in Pith

FVSpec: Real-World Property-Based Tests as Lean Challenges

ImProver: Agent-Based Automated Proof Optimization

s2n-bignum-bench: A practical benchmark for evaluating low-level code reasoning of LLMs

Scaling up Test-Time Compute with Latent Reasoning: A Recurrent Depth Approach

How Well Do LLMs Perform on the Simplest Long-Chain Reasoning Tasks: An Empirical Study on the Equivalence Class Problem

Receipt and verification

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

Canonical hash

f696905dcb9cfdee3e83f5b739422ef4efa0434684983a9ea8ee432b258885c5

Aliases

arxiv: 2408.03350 · arxiv_version: 2408.03350v3 · doi: 10.48550/arxiv.2408.03350 · pith_short_12: 62LJAXOLTT66 · pith_short_16: 62LJAXOLTT664PUD · pith_short_8: 62LJAXOL

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/62LJAXOLTT664PUD6W3TSQRO6T \
  | 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: f696905dcb9cfdee3e83f5b739422ef4efa0434684983a9ea8ee432b258885c5

Canonical record JSON

{
  "metadata": {
    "abstract_canon_sha256": "a04b74ebfd8773f1dd044d11beffd1be854e9e79de94285603ee1e3e1f877d48",
    "cross_cats_sorted": [
      "cs.CL",
      "cs.LG"
    ],
    "license": "http://arxiv.org/licenses/nonexclusive-distrib/1.0/",
    "primary_cat": "cs.AI",
    "submitted_at": "2024-08-05T20:19:18Z",
    "title_canon_sha256": "a243c419890098f3c1257f4d78f6aed75a6b5c601c20e663e639b678549e0ff9"
  },
  "schema_version": "1.0",
  "source": {
    "id": "2408.03350",
    "kind": "arxiv",
    "version": 3
  }
}