#automated-reasoning

• I Was Thinking About LLM + Automated Reasoning Before It Was Cool (And I Wasn’t Ready) Apr 2, 2026