mlsanityData to 14 Oct 2026

Recursive Formation and First-Class Reuse of Compositional Capabilities

arXiv 2610.19414 ↗First posted 14 Oct 2026cs.PL cs.AIcited by 0

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

  1. 2016DeepCoder: Learning to Write Programscited by 149
  2. 2017RobustFill: Neural Program Learning under Noisy I/Ocited by 126
  3. 2022Top-Down Synthesis for Library Learningcited by 58
  4. 2023LILO: Learning Interpretable Libraries by Compressing and Documenting Codecited by 49
  5. 2026Teaching a Minimalist Machine to Discover Recursive Programs for Arithmeticcited by 1

Built on by

Not cited yet.