Zhou F, Chen H, Fan L. Prover - Toward More Efficient Formal Verification of Masking in Probing Model. TCHES [Internet]. 2024 Dec. 9 [cited 2025 Jan. 14];2025(1):552-85. Available from: https://philosophymindscience.org/index.php/TCHES/article/view/11939