Phoebe Love Klett
Using math and computer science to formalize natural and artificial cognition.

Twitter: @KlettPhoebe     YouTube: @KlettPhoebe

Blogs
Mathematical meaning is not captured by meaning-as-use

Research
Thermodynamic Bayesian Inference

Scalable Bayesian Language Models

Extended Mind Transformers , Talk

Organizing
Practice of Proof