AI-Assisted Discovery of Quantitative and Formal Models in Social Science