TY  - RPRT
TI  - Enhancing Neural Mathematical Reasoning by Abductive Combination with Symbolic Library
AU  - Yangyang Hu
AU  - Yang Yu
PY  - 2022
UR  - https://arxiv.org/abs/2203.14487
ID  - 2203.14487
ER  -