mastodon — José A. Alonso — 9 Sep 2026
(Auto)formalization, but why? ~ Seewoo Lee. https:// proofsandprompts.com/2026/09/0 8/autoformalization-but-why/ # AI4Ma…
#formalization #ai-for-mathematics #interactive-theorem-proving
(Auto)formalization, but why? ~ Seewoo Lee. https:// proofsandprompts.com/2026/09/0 8/autoformalization-but-why/ # AI4Math # LeanProver # ITP