2 citations · 4 across the 3 of their papers we have counts for
3 papers
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…
Repositioning Tiered HotSpot Execution Performance Relative to the Interpreter
Jonathan Lambert, Kevin Casey, Rosemary Monahan
Although the advantages of just-in-time compilation over traditional interpretive execution are widely recognised, there needs to be more current research investigating and reposit…
Modelling the Turtle Python library in CSP
Dara MacConville, Marie Farrell, Matt Luckcuck +1
Software verification is an important tool in establishing the reliability of critical systems. One potential area of application is in the field of robotics, as robots take on mor…