pith. sign in
Pith Number

pith:ZP2DE6GR

pith:2025:ZP2DE6GRZZ7AFAS2BLLRMIRRFO
not attested not anchored not stored refs pending

CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization

Chenchen Zhang, Ge Zhang, Jiaheng Liu, Jiawei Shen, Kaijing Ma, Luming Li, Minghao Liu, Shuyue Guo, Wenhao Huang, Yichi Zhang, Yifan Yao, Yifan Zhang, Yihang Xia, Yixin Cao, Yizhe Li, Yuchen Wu, Zhaoxiang Zhang, Zhongyuan Peng, Zhouliang Yu

arxiv:2507.06181 v1 · 2025-07-08 · cs.CL

Open paper page JSON Open Graph Bundle Merged state Verified badge What is a Pith Number?
Add to your LaTeX paper 
\usepackage{pith}
\pithnumber{ZP2DE6GRZZ7AFAS2BLLRMIRRFO}

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

6 papers in Pith

Beyond the Library: An Agentic Framework for Autoformalizing Research Mathematics
Beyond Compilation: Evaluating Faithful Natural-Language-to-Lean Statement Formalization
Beyond the Library: An Agentic Framework for Autoformalizing Research Mathematics
OProver: A Unified Framework for Agentic Formal Theorem Proving
MathAtlas: A Benchmark for Autoformalization in the Wild
Receipt and verification
First computed 2026-07-05T11:33:53.500870Z
Builder pith-number-builder-2026-05-17-v1
Signature Pith Ed25519 (pith-v1-2026-05) · public key
Schema pith-number/v1.0

Canonical hash

cbf43278d1ce7e02825a0ad71622312b92aa6013e27274cfa3272c92fea92526

Aliases

arxiv: 2507.06181 · arxiv_version: 2507.06181v1 · doi: 10.48550/arxiv.2507.06181 · pith_short_12: ZP2DE6GRZZ7A · pith_short_16: ZP2DE6GRZZ7AFAS2 · pith_short_8: ZP2DE6GR
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/ZP2DE6GRZZ7AFAS2BLLRMIRRFO \
  | 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: cbf43278d1ce7e02825a0ad71622312b92aa6013e27274cfa3272c92fea92526
Canonical record JSON 
{
  "metadata": {
    "abstract_canon_sha256": "1c62fb92e21c151fe2ef64fa2d649f20b5a1fc5b8dcca30576d111b5865e1ecb",
    "cross_cats_sorted": [],
    "license": "http://creativecommons.org/publicdomain/zero/1.0/",
    "primary_cat": "cs.CL",
    "submitted_at": "2025-07-08T17:03:39Z",
    "title_canon_sha256": "6e4bc9c6d2dd8b2d950f982c917df962e329789c3551e9268e12a8b22bc836c6"
  },
  "schema_version": "1.0",
  "source": {
    "id": "2507.06181",
    "kind": "arxiv",
    "version": 1
  }
}