symbolic mathematics library | BriefGPT

关键词symbolic mathematics library

搜索结果 - 1

ICML利用符号库进行归纳推理的神经数学推理方法增强
通过离散型系统和抽象学习框架的组合，提出了 ABL-Sym 算法，将 Transformer 神经模型与符号数学库相结合，从而在数学推理数据集上显示出显著的准确性提高。
PDF2 years ago