Annoucement_30

Presenting our LLM Sum-of-Square Solvers in ICML AI4Maths Link