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