Alphabell.
Paper · Self-modifying agents

A Self-Improving Agent that Grows its Own DSL: Oracle-Free Operator Induction for Exact Question Answering

An agent autonomously discovers and writes new exact-computation operators for its own use, verifying them without ground truth to triple its answerable question set.

A Self-Improving Agent that Grows its Own DSL: Oracle-Free Operator Induction for Exact Question Answering
Figure from the paper, arXiv. Source
The loop

A frozen model runs nested loops to discover missing capabilities and author new domain-specific language operators for itself. It verifies these operators through consensus and conservation laws without external data, expanding its own executable library.

  1. Frozen model attempts exact QA tasks
  2. Model authors new DSL operators
  3. Independent implementations verify operators via consensus
  4. Verified operators expand model's executable library
  1. Frozen model attempts exact QA tasks
  2. Model authors new DSL operators
  3. Independent implementations verify operators via consensus
  4. Verified operators expand model's executable library
↻ The improved system does the next round, and the loop turns again.

Why it is a road to recursion

Allowing an agent to safely expand its own executable vocabulary without human labels provides a scalable path to open-ended capability growth in exact domains.

Evidence

The inner loop roughly triples the answerable-question set, and the outer loop self-extends on disjoint starting sets.

dsloperator-inductionoracle-free