Text this: AI-assisted discovery of quantitative and formal models in social science