LLMs that think?

under construction

Mathematical reasoning in the Age of LLMs