TY - RPRT TI - BlockCert: Certified Blockwise Extraction of Transformer Mechanisms AU - Sandro Andric PY - 2025 UR - https://arxiv.org/abs/2511.17645 ID - 2511.17645 ER -