
Honored to join the inaugural Adaption Research Grant cohort for my work on #AI evaluation!
Thank you @sarahookr , @sudip_r0y & the @adaption_ai team! 🙏

English
ML
10 posts




New paper with Gopal Sarma, Rachel Steratore, and Sunny Bhatt, and me surveying formal methods folk about importance and tractability of applications to AI safety. I'm excited this is out! Here is a broader plea for people to be very ambitious about verifying software! 🧵



