Neurosymbolic Language Reasoning as Satisfiability Modulo Theory
神经符号语言推理作为可满足性模理论
机构 * Seoul National University（首尔国立大学） ； U. Mass. Amherst（马萨诸塞大学阿姆赫斯特分校） ； Microsoft（微软公司）
专题命中 代码评测 ：program synthesis(abstract)；分类 cs.AI
AI总结 Logitext通过结合LLM和SMT求解，实现自然语言与逻辑推理的联合处理，提升内容审核和法律任务的准确性和覆盖性。
