SAT-RL: Training Language Models for Logical Reasoning with Symbolic Solvers
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 of the search space.
arXiv - cs.AI2 min read