SAT-RL: training language models for logical reasoning with symbolic solvers
Read the original at arxiv.org→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...
Original headline: "SAT-RL: Training Language Models for Logical Reasoning with Symbolic Solvers"
Coverage timeline
- Oct 14, 04:00 UTC arXiv cs.AI lead source SAT-RL: Training Language Models for Logical Reasoning with Symbolic Solvers