Unravelling the Logic: Investigating the Generalisation of Transformers in Numerical Satisfiability Problems.

Tharindu Madusanka, Marco Valentino, Iqra Zahid, Ian Pratt-Hartmann, Riza Batista-Navarro

Browse the full ACL paper archive.