Certified Mechanistic Edits: Behavioral Guarantees for Skill Removal and Preservation
It is proved that no finite deterministic black-box test can certify removal, exhibiting an edit that passes exhaustive testing yet provably fails on a survivor pocket that can be made arbitrarily small.
Md Sazid Uddin, Mark Mazumder, M. F. Mridha
· 0 citations