ReasonAgain: Using LLM Generated Symbolic Programs for Mathematical Reasoning | Dark Hacker News