3 citations · 4 across the 3 of their papers we have counts for
3 papers
cs.LG2024★ 1 cited
Towards Independence Criterion in Machine Unlearning of Features and Labels
Ling Han, Nanqing Luo, Hao Huang +2
This work delves into the complexities of machine unlearning in the face of distributional shifts, particularly focusing on the challenges posed by non-uniform feature and label re…
cs.CR2023
An Ethereum-compatible blockchain that explicates and ensures design-level safety properties for smart contracts
Nikolaj Bjørner, Shuo Chen, Yang Chen +3
Smart contracts are crucial elements of decentralized technologies, but they face significant obstacles to trustworthiness due to security bugs and trapdoors. To address the core i…
cs.LG2021★ 3 cited
DPlis: Boosting Utility of Differentially Private Deep Learning via Randomized Smoothing
Wenxiao Wang, Tianhao Wang, Lun Wang +4
Deep learning techniques have achieved remarkable performance in wide-ranging tasks. However, when trained on privacy-sensitive datasets, the model parameters may expose private in…