Sign in
Jia-Si Weng
ORCID
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Formal Proof
Precise Definition
Geometry Theorem Proving
Top Venues
IEEE Trans. Inf. Forensics Secur.
</>
Publications
</>
Jia-Si Weng
,
Shenglong Yao
,
Yuefeng Du
,
Junjie Huang
,
Jian Weng
,
Cong Wang
Proof of Unlearning: Definitions and Instantiation.
IEEE Trans. Inf. Forensics Secur.
19 (2024)