SLR: Automated Synthesis for Scalable Logical Reasoning

@inproceedings{pub17386,
    author = {



Helff, Lukas Henrik
 and 



Omar, Ahmad
 and 



Friedrich, Felix
 and 



Wüst, Antonia
 and 



Shindo, Hikaru
 and 



Mitchell, Rupert
 and 



Woydt, Tim
 and 



Schramowski, Patrick
 and 



Stammer, Wolfgang
 and 



Kersting, Kristian
},
    editor = {



Liakata, Maria
 and 



Moreira, Viviane P.
 and 



Zhang, Jiajun
 and 



Jurgens, David
},
    title = {SLR: Automated Synthesis for Scalable Logical Reasoning},
    booktitle = {Proceedings of the 64th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), ACL 2026, San Diego, California, United States, July 2-7, 2026. 

Computational Linguistics Applications (CLA)
},
    year = {2026},
    pages = {402--426},
    publisher = {Association for Computational Linguistics}
}