Artificial Intelligence to Assist Mathematical Reasoning
Subtitle: Proceedings of a Workshop
Publisher: National Academies Press
Published: 2023
Language: eng
ISBN-13: 9780309710282