formal-abstractions

本文介绍了SDDL，一个神经符号框架，通过将自然语言问题转化为形式化表示，提高了资源受限语言模型中的组合优化精度，与直接生成和求解器代码基线相比，实现了更高的可行性率。