标签
L-system 是一种并行重写系统，属于形式语法的类型，用于模拟植物生长和生成分形图形。由阿里斯蒂德·林登迈耶于1968年提出。
形式化思维编织（WoFT）引入了一种针对代码生成的完备且可靠的约束解码器，该解码器能确保相对于完整的Tree-sitter规范保持语法有效性；同时提出一种微调方法，通过使用加权唤醒-睡眠算法训练模型将语法符号交织到生成过程中，从而改进Python代码生成的困惑度。