Unrolling thread...

    From Internal to Public: how CertiK AI Auditor catches vulnerabilities with low noise.