Verified_mechanisms_pilot_news_entry

I am starting a three-month pilot of Verified Mechanisms, a project on formally verified autoresearch for theoretical mechanistic interpretability.