Computer SciencePickNeuro-Symbolic Reasoning Improves LLM Accuracy by 12-18%Generating natural language explanations then verifying them symbolically outperforms chain-of-thought prompting.cs.AIcs.LGcs.CLAug 5, 202410 min2408.01234 Code available