Proof of Unlearning: Definitions and Instantiation.

Jia-Si Weng Shenglong Yao Yuefeng Du Junjie Huang Jian Weng Cong Wang

Published in: CoRR (2022)

Keyphrases

precise definition
real time
bayesian networks
theorem proving
information technology
multiresolution
mobile robot
theorem prover
linear logic
automated theorem proving
proof planning
mathematical proofs
geometry theorem proving