Stanford CS547 HCI Seminar | Winter 2026 | Creation, Evolution, and Formalization of Notations

Stanford Online · 56:46

Current AI systems make it easy to jump from a vague idea to a runnable or mathematically tidy artifact in already-dominant notations (Python, React, Markdown+LaTeX), but they have a structural blind spot: they do not...

Read the full summary on tuber

Redirecting...