TY  - RPRT
TI  - SLR: Automated Synthesis for Scalable Logical Reasoning
AU  - Lukas Helff
AU  - Ahmad Omar
AU  - Felix Friedrich
AU  - Antonia Wüst
AU  - Hikaru Shindo
AU  - Rupert Mitchell
AU  - Tim Woydt
AU  - Patrick Schramowski
AU  - Wolfgang Stammer
AU  - Kristian Kersting
PY  - 2026
UR  - https://arxiv.org/abs/2506.15787
ID  - 2506.15787
ER  -