SAT-RL: Training Language Models for Logical Reasoning with Symbolic Solvers

arXiv:2610.14402v1 Announce Type: new Abstract: Large language models (LLMs) have achieved strong performance in mathematical and logical reasoning, yet they still suffer from the curse of complexity and struggle as problem difficulty increases with the number of constraint interactions and the size

arXiv cs.AIMittwoch 06:00 · 14.10.1 Min. Lesezeit