A Promising Path Towards Autoformalization and General Artificial Intelligence
Christian Szegedy
Topics & Concepts
Computer sciencePath (computing)Verifiable secret sharingBootstrapping (finance)Artificial intelligenceTask (project management)SoftwareNatural languageProgramming languageSet (abstract data type)ManagementEconomicsFinancial economicsSoftware Engineering ResearchAI-based Problem Solving and PlanningMachine Learning and Algorithms