Explore BlockCert, a novel framework for certified blockwise extraction of transformer mechanisms using Lean 4 formal verification to guarantee error bounds ...
Level: expert
By Sandro Andric
Category: research