Suggested Citation: "3 Case Studies." National Academies of Sciences, Engineering, and Medicine. 2023. Artificial Intelligence to Assist Mathematical Reasoning: Proceedings of a Workshop. Washington, ...