Log2NS: Enhancing Deep Learning Based Analysis of Logs With Formal to Prevent Survivorship Bias. - Charanraj Thimmisetty; Praveen Tiwari; Didac Gil de la Iglesia; Nandini Ramanan; Marjorie Sayer; Viswesh Ananthakrishnan; Claudionor José Nunes Coelho Jr. (CoRR, 2021)