symbolic-solvers

本文介绍了一种神经符号方法G-RRM，它使用递归推理模型来引导符号求解器解决约束满足问题，在特定条件下显示出显著的加速效果。