Yuhao Zhang, Aws Albarghouthi, Loris D'Antoni. Robustness to Programmable String Transformations via Augmented Abstract Training. In Proceedings of the 37th International Conference on Machine Learning, ICML 2020, 13-18 July 2020, Virtual Event. Volume 119 of Proceedings of Machine Learning Research, pages 11023-11032, PMLR, 2020. [doi]
Abstract is missing.