SLR: Automated Synthesis for Scalable Logical Reasoning.

Lukas Helff, Ahmad Omar, Felix Friedrich, Antonia Wst, Hikaru Shindo, Rupert Mitchell, Tim Woydt, Patrick Schramowski, Wolfgang Stammer, Kristian Kersting

Browse the full ACL paper archive.