Pith. sign in
Pith Number

pith:P3INNJYJ

pith:2024:P3INNJYJUYWT2YLZOZFSTWIDJ4
not attested not anchored not stored refs pending

DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search

Bo Liu, Chong Ruan, Dejian Yang, Fuli Luo, Haocheng Wang, Huajian Xin, Junxiao Song, Liyue Zhang, Qihao Zhu, Qiushi Du, Wanjia Zhao, Wenjun Gao, Xuan Lu, Z.F. Wu, Zhibin Gou, Zhihong Shao, Z.Z. Ren

arxiv:2408.08152 v1 · 2024-08-15 · cs.CL · cs.AI · cs.LG · cs.LO

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

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

21 papers in Pith

From Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research Frontier
Beyond the Library: An Agentic Framework for Autoformalizing Research Mathematics
TheoremBench: Evaluating LLMs on Theorem Proving in Formal Mathematics
LeanMarathon: Toward Reliable AI Co-Mathematicians through Long-Horizon Lean Autoformalization
Beyond the Library: An Agentic Framework for Autoformalizing Research Mathematics
Receipt and verification
First computed 2026-07-05T08:55:45.324017Z
Builder pith-number-builder-2026-05-17-v1
Signature Pith Ed25519 (pith-v1-2026-05) · public key
Schema pith-number/v1.0

Canonical hash

7ed0d6a709a62d3d6179764b29d9034f288701c929f4fdca25fee693cf31d1a3

Aliases

arxiv: 2408.08152 · arxiv_version: 2408.08152v1 · doi: 10.48550/arxiv.2408.08152 · pith_short_12: P3INNJYJUYWT · pith_short_16: P3INNJYJUYWT2YLZ · pith_short_8: P3INNJYJ
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/P3INNJYJUYWT2YLZOZFSTWIDJ4 \
  | 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: 7ed0d6a709a62d3d6179764b29d9034f288701c929f4fdca25fee693cf31d1a3
Canonical record JSON 
{
  "metadata": {
    "abstract_canon_sha256": "d83f26cfba592b2a8833268243bc1244e305c41c07e5c2136dfd211086b3e503",
    "cross_cats_sorted": [
      "cs.AI",
      "cs.LG",
      "cs.LO"
    ],
    "license": "http://creativecommons.org/licenses/by/4.0/",
    "primary_cat": "cs.CL",
    "submitted_at": "2024-08-15T13:40:03Z",
    "title_canon_sha256": "38a99fda007890d13290737b844f991de93e2d31db87d8b2e3253f86d27f04dc"
  },
  "schema_version": "1.0",
  "source": {
    "id": "2408.08152",
    "kind": "arxiv",
    "version": 1
  }
}