LLM agents collaborate to discover and formally verify theorems about the internal computations of transformers, beginning with a simple pilot question: how many attention heads are needed to represent a Boolean function? Read more
Actively Fundraising
AI safety projects actively seeking funding: what they’re working on and how much they need.




















