Return to Article Details Prover - Toward More Efficient Formal Verification of Masking in Probing Model Download Download PDF