6 citations · 6 across the 3 of their papers we have counts for
3 papers
cs.DB2023
Saibot: A Differentially Private Data Search Platform
Zezhou Huang, Jiaxiang Liu, Daniel Alabi +2
Recent data search platforms use ML task-based utility measures rather than metadata-based keywords, to search large dataset corpora. Requesters submit a training dataset and these…
cs.SE2022★ 6 cited
Abstraction and Refinement: Towards Scalable and Exact Verification of Neural Networks
Jiaxiang Liu, Yunhan Xing, Xiaomu Shi +3
As a new programming paradigm, deep neural networks (DNNs) have been increasingly deployed in practice, but the lack of robustness hinders their applications in safety-critical dom…
cs.LO2015
Confluence of Layered Rewrite Systems
Jean-Pierre Jouannaud, Jiaxiang Liu, Mizuhito Ogawa
We investigate the new, Turing-complete class of layered systems, whose lefthand sides of rules can only be overlapped at a multiset of disjoint or equal positions. Layered systems…