Recursive Formation and First-Class Reuse of Compositional Capabilities
Not on the map. Why?
Abstract (arXiv)
We introduce FormCraft, a framework for representing acquired operations as first-class capabilities that can be recursively composed, directly invoked, and selectively retained in a persistent library through domain-specific verification. The framework separates capability well-formedness and public callability from later admission to persistent storage while preserving formation provenance and operational identity. We formalize recursive compositional closure over a uniform capability space and show that formed composites can be reused through the same public interface without re-forming their historical derivation. Experiments across continuous, discrete, propositional, and sequence domains demonstrate instance-independent reuse, independent checking, persistent acquisition, and reduced reuse-time search work under first-class exposure.
Key facts. No citing papers in the map yet (data through 14 Oct 2026). Builds on 5 of its 15 references that are in the map. First posted on arXiv 14 Oct 2026.
Builds on
5 of 15 references.
References · 5
- 2016DeepCoder: Learning to Write Programscited by 149
- 2017RobustFill: Neural Program Learning under Noisy I/Ocited by 126
- 2022Top-Down Synthesis for Library Learningcited by 58
- 2023LILO: Learning Interpretable Libraries by Compressing and Documenting Codecited by 49
- 2026Teaching a Minimalist Machine to Discover Recursive Programs for Arithmeticcited by 1
Built on by
Not cited yet.