Microsoft's Dimitris Papailiopoulos questions the performance limit of non-LLM symbolic solvers on the GSM8k math benchmark

Omar Khattab questioned if LLM optimizers would tune parameters