LLM Autoformulation