PSL is Dead. Long Live PSL

no code implementations • 27 May 2022 • Kevin Smith, Hai Lin, Praveen Tiwari, Marjorie Sayer, Claudionor Coelho

In this paper, we show that by merging machine learning techniques with PSL monitors, we can extend PSL to work on continuous domains.

Anomaly Detection BIG-bench Machine Learning

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

no code implementations • 29 May 2021 • Charanraj Thimmisetty, Praveen Tiwari, Didac Gil de la Iglesia, Nandini Ramanan, Marjorie Sayer, Viswesh Ananthakrishnan, Claudionor Nunes Coelho Jr

By combining the strengths of deep learning and symbolic methods, Log2NS provides a very powerful reasoning and debugging tool for log-based data.