Harnessing the Power of Large Language Models for Natural Language to First-Order Logic Translation Paper • 2305.15541 • Published May 24, 2023 • 1
Does Math Reasoning Improve General LLM Capabilities? Understanding Transferability of LLM Reasoning Paper • 2507.00432 • Published Jul 1, 2025 • 79