Can Large Language Models Autoformalize Kinematics?Published in FMCAD, 2025, 2025Share on Twitter Facebook LinkedIn Previous Next
