Satisfiability Solving with LLMs: A Matched-Pair Evaluation of Reasoning Capability 文章

ArXiv CS.CL2026-05-28NEWSen作者: Leizhen Zhang, Shuhan Chen, Sheng Chen
查看原文 →
关系图谱

Satisfiability Solving with LLMs: A Matched-Pair Evaluation of Reasoning Capability · 相关技术

相关技术

discrete 3D packingVertex Cover3-SAT2-SATOSAT