Global Neural CCG Parsing with Optimality Guarantees | Read Paper on Bytez