Zulip Chat Archive
Stream: general
Topic: Formalization of Categorical AI
James Squires (Jan 21 2026 at 01:48):
Hello, I'm currently doing research in categorical AI and it's interpretability, and I was wondering if anyone knows if there are any preexisting Lean formalizations on the matter? Thanks
Adam Topaz (Jan 22 2026 at 02:17):
What are some theorems in the subject that you’re interested in?
Last updated: Feb 28 2026 at 14:05 UTC