@misc{indiciae07630e11daa9,
  title = {Enhancing Neural Mathematical Reasoning by Abductive Combination with Symbolic Library},
  author = {Yangyang Hu and Yang Yu},
  year = {2022},
  url = {https://arxiv.org/abs/2203.14487},
  note = {Source identifier: 2203.14487}
}