BriefGPT.xyz
Ask
alpha
关键词
symbolic solver
搜索结果 - 2
AAAI
培训以调用符号求解器为目标的经济型语言模型实现参数高效算术推理
在这篇论文中,我们提出了一种名为 SYRELM 的架构,它通过采用符号求解器来将自然语言算术问题转化为形式化语言描述,然后通过一个小型冻结的 LM 生成包含自然语言描述的形式化表达式,并通过策略梯度强化学习训练适应的 LM,从而实现合理的算
→
PDF
7 months ago
通过将语言模型与符号求解器相结合解决数学语言问题
通过将大型语言模型与外部符号求解器相结合,我们提出了一种能够将单词问题逐步规范化为一组变量和方程的方法,并使用符号求解器解决问题,相较于 PAL 在解决代数类问题上性能提升了 20%。
PDF
a year ago
Prev
Next