Explore activation steering, a technique that guides Large Language Models to construct formal proofs from informal math statements by adjusting residual act...
Level: advanced
By Unknown
Category: research