Log2NS: Enhancing Deep Learning Based Analysis of Logs With Formal to Prevent Survivorship Bias.
Charanraj ThimmisettyPraveen TiwariDidac Gil de la IglesiaNandini RamananMarjorie SayerViswesh AnanthakrishnanClaudionor Nunes Coelho Jr.Published in: CoRR (2021)