@misc{indiciae60d5e5f6cb9f,
  title = {Log2NS: Enhancing Deep Learning Based Analysis of Logs With Formal to Prevent Survivorship Bias},
  author = {Charanraj Thimmisetty and Praveen Tiwari and Didac Gil de la Iglesia and Nandini Ramanan and Marjorie Sayer and Viswesh Ananthakrishnan and Claudionor Nunes Coelho Jr},
  year = {2021},
  url = {https://arxiv.org/abs/2105.14149},
  note = {Source identifier: 2105.14149}
}