An evidence-bound typed loop contract is derived and instantiate its mechanically enforceable subset in a reference implementation that binds verifier evidence to exact code states, preserves verified checkpoints, and emits auditable admission receipts.
Xue-Jian Gao, Jian-Wei Yang, Qiang Yang· Proceedings of the 1st Inter...· 1 citation
CANN Bench is an open benchmark for AI-generated operator code on Huawei's Ascend NPU, designed for long-term community co-construction, providing the Ascend ecosystem with a quantitative, reproducible, and sustainably maintained yardstick for AI operator-authoring capability.
Xue-Jian Gao, Deng Pan, Yueming Su et al.· arXiv.org· 1 citation
This work introduces Executable Code Knowledge (ECK) and defines an Executable Code Knowledge Unit (ECKU) as a source-bound object combining stable identity, semantics, executable behavior, contracts, evidence, relations, provenance, validation state, and a query interface.
Skill Runtime Intelligence is presented, a passive runtime-intelligence system that reconstructs supported Skill-lifecycle stages across heterogeneous harnesses while preserving unsupported stages as unknown and motivating executable adapter qualification.
Xue-Jian Gao· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.