Large language models (LLMs) are increasingly deployed for natural-language logical reasoning, where the final answer is easy to check but the proof behind i…
机构:北航
来源:arXiv 2609.37203 | AI4Papers 论文推荐平台