Neuro-symbolic PRM: Enhancing Scientific Reasoning via Structured Traces and Symbolic Verification
神经符号PRM：通过结构化轨迹与符号验证增强科学推理
机构 * AI Institute of South Carolina（南卡罗来纳州人工智能研究所） ； HPE Labs（慧与实验室） ； Indian AI Research Organisation（印度人工智能研究组织）
AI总结 该研究提出神经符号PRM框架，解耦推理为符号有效性与语义接地性，引入反事实符号扰动训练PRM，通过验证器优先搜索提升工具增强型LLM的科学推理可靠性。
