LogicSkills: A Structured Benchmark for Formal Reasoning in Large Language Models
arXiv:2602.06533v3 Announce Type: replace Abstract: Large language models perform well on many logical reasoning benchmarks, but it remains unclear which core logical skills they truly master. To addr