Login / Signup
Proof of Unlearning: Definitions and Instantiation.
Jia-Si Weng
Shenglong Yao
Yuefeng Du
Junjie Huang
Jian Weng
Cong Wang
Published in:
IEEE Trans. Inf. Forensics Secur. (2024)
Keyphrases
</>
precise definition
theorem prover
theorem proving
linear logic
automated theorem proving
databases
proof planning
formal proof
high level
reinforcement learning
data model
control system
natural deduction
geometry theorem proving