Rock: Cleaning Data by Embedding ML in Logic Rules

X Bao, Z Bao, B Binbin, QS Duan, W Fan… - Companion of the 2024 …, 2024 - dl.acm.org
We introduce Rock, a system for cleaning relational data. Rock implements a framework that
unifies machine learning (ML) and logic deduction by embedding ML classifiers in rules as …

Fishing Fort: A System for Graph Analytics with ML Prediction and Logic Deduction

W Fan, S Liu - The Provenance of Elegance in Computation …, 2024 - drops.dagstuhl.de
Abstract This paper reports Fishing Fort, a graph analytic system developed in response to
the following questions. What practical value can we get out of graph analytics? How can we …