Chen, et al.. Mapping Natural-language Problems to Formal-language Solutions Using Structured Neural Representations. 2 Aug. 2020.