17 citations · 29 across the 12 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.LO2023★ 1 cited
Comparing Differentiable Logics for Learning Systems: A Research Preview
Thomas Flinkow, Barak A. Pearlmutter, Rosemary Monahan
Extensive research on formal verification of machine learning (ML) systems indicates that learning from data alone often fails to capture underlying background knowledge. A variety…
cs.HC2023★ 17 cited
Visualization of AI Systems in Virtual Reality: A Comprehensive Review
Medet Inkarbekov, Rosemary Monahan, Barak A. Pearlmutter
This study provides a comprehensive review of the utilization of Virtual Reality (VR) for visualizing Artificial Intelligence (AI) systems, drawing on 18 selected studies. The resu…