Intent Formalization: A Grand Challenge for Reliable Coding in the Age of AI Agents | Signal Canvas | ScienceToStartup