TY - RPRT TI - Improved Logical Reasoning of Language Models via Differentiable Symbolic Programming AU - Hanlin Zhang AU - Jiani Huang AU - Ziyang Li AU - Mayur Naik AU - Eric Xing PY - 2023 UR - https://arxiv.org/abs/2305.03742 ID - 2305.03742 ER -