势函数

仅需少量手工势函数即可实现近乎完美的语法覆盖。

势函数是SMC中定义“当前部分序列离目标有多近”的打分函数，无需可微、也无需训练，只需能用代码计算。

研究团队利用前沿模型进行代码合成，自动生成新的势函数，覆盖数百个目标语法技能，且无需额外训练或监督数据。

生成的势函数只需通过简单测试即可接入SMC流程，整个过程不涉及对小型模型的再训练或额外标注数据。