Automated Rewards via LLM-Generated Progress Functions