Let's Reason Formally: Natural-Formal Hybrid Reasoning Enhances LLM's Math Capability

Open in new window