We gratefully acknowledge support from
the Simons Foundation and member institutions.

Nandini Ramanan and Claudionor Coelho Jr are qualified to endorse.

Log2NS: Enhancing Deep Learning Based Analysis of Logs With Formal to Prevent Survivorship Bias

Nandini Ramanan: Is registered as an author of this paper.
Can endorse for cs.AI, cs.LG. (why?)
Claudionor Coelho Jr: Is registered as an author of this paper.
Can endorse for cs.LG. (why?)

Charanraj Thimmisetty, Praveen Tiwari, Didac Gil de la Iglesia, Marjorie Sayer and Viswesh Ananthakrishnan are not registered as owners of this paper. (why?)