Track new results across pure and applied mathematics.
Search papers, labs, and topics across Lattice.
1
1
1
0
This work proposes SkillSpec, a Hoare-style framework that formulates skill correctness as a specification reasoning problem, and transforms a heterogeneous skill repository into a unified graph representation that aligns descriptions, instructions and code artifacts.