Zulip Chat Archive
Stream: Equational
Topic: Deep Reasoning Through Flexible Universal Language
Michael Bucko (Oct 27 2024 at 11:54):
Wrote this: https://buildermath.substack.com/p/deep-reasoning-through-flexible-universal and would appreciate feedback.
Last updated: Dec 20 2025 at 21:32 UTC