Buildability / Receipt
Decompose, Structure, and Repair: A Neuro-Symbolic Framework for Autoformalization via Operator Trees
This public receipt window renders only fields present in the canonical receipt object, deterministic fixture receipt, or canonical evidence receipt. Missing compute, demo, hash, signature, approval, telemetry, and adoption fields stay explicit.
Public buildability page receipt window
Watch and verify: Decompose, Structure, and Repair: A Neuro-Symbolic Framework for Autoformalization via Operator Trees
/buildability/decompose-structure-and-repair-a-neuro-symbolic-framework-for-autoformalization-via-operator-trees
Subject: Decompose, Structure, and Repair: A Neuro-Symbolic Framework for Autoformalization via Operator Trees
Verdict
Watch
Verdict is Watch because viability or proof quality is intermediate and should be re-evaluated before execution.
Time to first demo
Insufficient data
No first-demo timestamp, owner estimate, or elapsed demo receipt is attached to this surface.
Compute envelope
Data
{"file name": "input.pdf", "number of pages": 22, "author": "Xiaoyang Liu; Zineng Dong; Yifan Bai; Yantao Li; Yuntian Liu; Tao Luo", "title": "Decompose, Structure
Compute
{"file name": "input.pdf", "number of pages": 22, "author": "Xiaoyang Liu; Zineng Dong; Yifan Bai; Yantao Li; Yuntian Liu; Tao Luo", "title": "Decompose, Structure, and Repair: A Neuro-Symbolic Framework for Autoformalization via Operator Trees", "creation date": null, "modification date": null, "kids": []}
Inference
{"file name": "input.pdf", "number of pages": 22, "author": "Xiaoyang Liu; Zineng Dong; Yifan Bai; Yantao Li; Yuntian Liu; Tao Luo", "title": "Decompose, Structure, and Repair: A Neuro-Symbolic Framework for Autoformalization via Operator Trees", "creation date": null, "modification date": null, "kids": []}
Hardware
{"file name": "input.pdf", "number of pages": 22, "author": "Xiaoyang Liu; Zineng Dong; Yifan Bai; Yantao Li; Yuntian Liu; Tao Luo", "title": "Decompose, Structure, and Repair: A Neuro-Symbolic Framework for Autoformalization via Operator Trees", "creation date": null, "modification date": null, "kids": []}
Evidence ids
Receipt path
/buildability/decompose-structure-and-repair-a-neuro-symbolic-framework-for-autoformalization-via-operator-trees
Paper ref
decompose-structure-and-repair-a-neuro-symbolic-framework-for-autoformalization-via-operator-trees
arXiv id
2604.19000
Freshness
Generated at
2026-04-22T02:14:56.763Z
Evidence freshness
stale
Last verification
2026-04-22T02:14:56.763Z
Sources
3
References
140
Coverage
67%
Hash state
Lineage hash
6e2b979c6fa378d8ac12c318bb35711bb6c046125d7edac62de2c6a35b3b4f1a
Canonical opportunity-kernel lineage hash.
Signature state
External signature
unsigned_external
No founder, registry, pilot, or production-adoption signature is attached to this receipt.
Verification
not_verified
Verification is blocked until an external signature is provided.
Blockers
- Missing: repo_url
- Missing: proof_status
- Unknown: proof verification has not been recorded yet
Some score or evidence fields are outside the preferred freshness window.
repo_url
proof_status
Truth Boundary
External gate remains unresolved for live deployment claims.
Buildability surfaces only report computed viability and proof receipts. They do not claim live production usage, pilot outcomes, founder sign-off, public Brier calibration, judge divergence, or external adoption unless explicitly sourced.