Kirtania, Shashank

1 publications

ICLRW 2025 Activation Steering in Neural Theorem Provers Shashank Kirtania