Jorge Diaz Chao AR Training Powered by Symbolic Learning and Large Language Models L&S Math & Physical Sciences