SLR: An Automated Synthesis Framework for Scalable Logical Reasoning Paper • 2506.15787 • Published Jun 18 • 2