AI-assisted discovery of quantitative and formal models in social science by Balla, J, Huang, S, Dugan, O, Dangovski, R, Soljačić, M