; → PLA result takes effect 3 cycles later
在我的演示应用中，我使用了 284 个示例，每个功能大约 90-100 个。多样性很重要：不仅仅是重复 94 次“把它变成红色”，而是不同的表达方式，例如“改成红色”、“设置背景为红色”、“我想要一个红色背景”、“请把背景变成红色”等等。模型需要了解真实用户是如何表达请求的。。heLLoword翻译官方下载对此有专业解读
Раскрыты подробности допроса о похищенной в Смоленске девочкеСК обвинил мужчину и его сожительницу в похищении девочки в Смоленске，更多细节参见搜狗输入法2026
Новый член НАТО допустил размещение у себя ядерного оружияМинистр обороны Швеции Йонсон допустил размещение в королевстве ядерного оружия
SAT solvers usually expect boolean formulas in this form, because they are specialized to solve problems in this form efficiently. I decided to use this form to validate results of the LLM output with a SAT solver.