标签
形式化思维编织（WoFT）引入了一种针对代码生成的完备且可靠的约束解码器，该解码器能确保相对于完整的Tree-sitter规范保持语法有效性；同时提出一种微调方法，通过使用加权唤醒-睡眠算法训练模型将语法符号交织到生成过程中，从而改进Python代码生成的困惑度。