Leizhen Zhang
1 indexed paper
Recent (6 mo)
1With code
0Influential cites
0Benchmarked
0Publications per year
126
Top categories
AI×1NLP×1Logic×1
Frequent co-authors
Research Timeline
2026
Satisfiability Solving with LLMs: A Matched-Pair Evaluation of Reasoning Capability
The paper evaluates LLM reasoning on Boolean satisfiability (SAT) problems, concluding that conventional metrics are misleading and proposing a paired-formula protocol with Accurate Differentiation Rate (ADR) for a more robust assessment.
Highlighted terms show continued research focus across papers