1
Satisfiability Solving with LLMs: A Matched-Pair Evaluation of Reasoning Capability
研究LLM在SAT问题上的推理能力，提出匹配对评估新方法，被软件工程顶会FSE收录。
arXiv:2605.28602v1 Announce Type: new Abstract: Large language models (LLMs) are increasingly used for tasks that implicitly reduce to Boolean satisfi…