Pith Number

pith:MCJUYZVS

pith:2023:MCJUYZVSV6IWZLBACVP2BUAFIQ

not attested not anchored not stored refs pending

FIMO: A Challenge Formal Dataset for Automated Theorem Proving

Chengwu Liu, Chuanyang Zheng, Haiming Wang, Huajian Xin, Jianhao Shen, Lin Li, Ming Zhang, Qun Liu, Wei Ju, Ye Yuan, Yichun Yin, Zhengying Liu

arxiv:2309.04295 v2 · 2023-09-08 · 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{MCJUYZVSV6IWZLBACVP2BUAFIQ}

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

7 papers in Pith

Lacuna: A Research Map for Machine Learning

CrowdMath: A Dataset of Crowdsourced Mathematical Research Discussions

Lean-GAP: A Dataset of Formalized Graduate Algebra Problems

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

CAM-Bench: A Benchmark for Computational and Applied Mathematics in Lean

Receipt and verification

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

Canonical hash

60934c66b2af916cac20155fa0d00544305e78c7c4db2080d437f6f703d66f44

Aliases

arxiv: 2309.04295 · arxiv_version: 2309.04295v2 · doi: 10.48550/arxiv.2309.04295 · pith_short_12: MCJUYZVSV6IW · pith_short_16: MCJUYZVSV6IWZLBA · pith_short_8: MCJUYZVS

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/MCJUYZVSV6IWZLBACVP2BUAFIQ \
  | 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: 60934c66b2af916cac20155fa0d00544305e78c7c4db2080d437f6f703d66f44

Canonical record JSON

{
  "metadata": {
    "abstract_canon_sha256": "144c07a7761d7a9328933828789cfc5b8d7913bc1324c7c53f4ee8c8e292a000",
    "cross_cats_sorted": [],
    "license": "http://arxiv.org/licenses/nonexclusive-distrib/1.0/",
    "primary_cat": "cs.AI",
    "submitted_at": "2023-09-08T12:34:28Z",
    "title_canon_sha256": "2665ab4c4e017a48561a70a198e0f5c30a53d4b31bfd6ddb7681e04bfc5ea20b"
  },
  "schema_version": "1.0",
  "source": {
    "id": "2309.04295",
    "kind": "arxiv",
    "version": 2
  }
}