Activation Steering in Neural Theorem Provers

Open in new window