Showing 2024Show all
2 papers · 1 filter
cs.AI2024
A SAT-based approach to rigorous verification of Bayesian networks
Ignacy Stępka, Nicholas Gisolfi, Artur Dubrawski
Recent advancements in machine learning have accelerated its widespread adoption across various real-world applications. However, in safety-critical domains, the deployment of mach…
cs.LG2024
Signal Quality Auditing for Time-series Data
Chufan Gao, Nicholas Gisolfi, Artur Dubrawski
Signal quality assessment (SQA) is required for monitoring the reliability of data acquisition systems, especially in AI-driven Predictive Maintenance (PMx) application contexts. S…