Can Large Language Models Autoformalize Kinematics?

Open in new window