4/ Mathematical LLMs – a survey on the progress of LLMs on mathematical tasks; covers papers and resources on LLM research around prompting techniques and tasks such as math word problem-solving and theorem proving.
Mathematical LLMs: Progress in Problem-Solving and Theorem Proving
By
–
