TY  - RPRT
TI  - Log2NS: Enhancing Deep Learning Based Analysis of Logs With Formal to Prevent Survivorship Bias
AU  - Charanraj Thimmisetty
AU  - Praveen Tiwari
AU  - Didac Gil de la Iglesia
AU  - Nandini Ramanan
AU  - Marjorie Sayer
AU  - Viswesh Ananthakrishnan
AU  - Claudionor Nunes Coelho Jr
PY  - 2021
UR  - https://arxiv.org/abs/2105.14149
ID  - 2105.14149
ER  -