#llm
- Proofs and Essays Are Paths: An LLM ↔ Prover Loop for Falsifying Hallucinations
- The Geometry of Language: Embeddings as Manifolds, Writing as Geodesics
- The Philosophy of Machine Learning, or: What Comes After Hegel?
- I Was Thinking About LLM + Automated Reasoning Before It Was Cool (And I Wasn’t Ready)