大模型推理能力

BlockCert: Certified Blockwise Extraction of Transformer Mechanisms

BlockCert: Transformer机制的认证分块提取

Sandro Andric

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.CL、cs.AI、cs.LG

AI总结 BlockCert通过认证分块提取Transformer机制，提供可验证的误差界和覆盖率指标，实验证明其在多个模型上有效且具有实际应用价值。

Comments 16 pages, 1 figure