Pith Number

pith:RXUBIQBL

pith:2025:RXUBIQBL4537SBTTFUCHHI67CJ

not attested not anchored not stored refs pending

HistCAD: A Constraint-Aware Parametric History-Based CAD Representation, Dataset, and Benchmark with Industrial Complexity

Chuanyang Li, Chuqi Han, Hailong Shen, Jiaxin Jing, Peng Zheng, Xintong Dong, Yanzhi Song, Zhouwang Yang

Explicit constraints in parametric CAD sequences preserve design intent after parameter edits.

arxiv:2602.19171 v3 · 2025-12-08 · cs.GR · 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{RXUBIQBL4537SBTTFUCHHI67CJ}

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.

Claims

C1strongest claim

Experiments show that explicit constraints are essential for preserving design intent after edits, and that HistCAD supports supervised CAD generation from text and direct LLM workflows.

C2weakest assumption

The introduced metrics (Edit Reachability, conditional preserved constraint satisfaction, Overall Editable Success) and the dataset alignment with native CAD models sufficiently capture real-world design intent preservation and industrial complexity.

C3one line summary

HistCAD provides a constraint-aware parametric CAD representation, a dataset of 170k industrial sequences, and an editability benchmark with metrics ER, cPCSR, and OES to evaluate preservation of design intent.

Formal links

2 machine-checked theorem links

Cited by

2 papers in Pith

BenchCAD: A Comprehensive, Industry-Standard Benchmark for Programmatic CAD

Receipt and verification

First computed	2026-06-01T01:02:35.202344Z
Builder	pith-number-builder-2026-05-17-v1
Signature	Pith Ed25519 (`pith-v1-2026-05`) · public key
Schema	pith-number/v1.0

Canonical hash

8de814402be777f906732d0473a3df127fc643cf52530de087ca940b81ee82b4

Aliases

arxiv: 2602.19171 · arxiv_version: 2602.19171v3 · doi: 10.48550/arxiv.2602.19171 · pith_short_12: RXUBIQBL4537 · pith_short_16: RXUBIQBL4537SBTT · pith_short_8: RXUBIQBL

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/RXUBIQBL4537SBTTFUCHHI67CJ \
  | 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: 8de814402be777f906732d0473a3df127fc643cf52530de087ca940b81ee82b4

Canonical record JSON

{
  "metadata": {
    "abstract_canon_sha256": "e96547051fd1ec9a5d6be986be8173c485e9b35513080f3e36fd147b5bd1a0c2",
    "cross_cats_sorted": [
      "cs.AI"
    ],
    "license": "http://arxiv.org/licenses/nonexclusive-distrib/1.0/",
    "primary_cat": "cs.GR",
    "submitted_at": "2025-12-08T05:52:14Z",
    "title_canon_sha256": "ddb604377f271d32d3e1e8db6a819535df11ea739fb601c240f7110fd282023e"
  },
  "schema_version": "1.0",
  "source": {
    "id": "2602.19171",
    "kind": "arxiv",
    "version": 3
  }
}