Tag
An L-system is a parallel rewriting system and a type of formal grammar used for modeling plant growth and generating fractals. Introduced by Aristid Lindenmayer in 1968.
Weave of Formal Thought (WoFT) introduces a sound and complete constrained decoder for code generation that guarantees syntactic validity relative to the full Tree-sitter specification, and a fine-tuning method that trains models to interleave grammar symbols using reweighted wake-sleep, improving perplexity on Python code generation.