@misc{indiciae04bd2e006485,
  title = {SLR: Automated Synthesis for Scalable Logical Reasoning},
  author = {Lukas Helff and Ahmad Omar and Felix Friedrich and Antonia Wüst and Hikaru Shindo and Rupert Mitchell and Tim Woydt and Patrick Schramowski and Wolfgang Stammer and Kristian Kersting},
  year = {2026},
  url = {https://arxiv.org/abs/2506.15787},
  note = {Source identifier: 2506.15787}
}