ML Anthology

Minh, Kha Tuan

1 publications

NeurIPSW 2024 Math2Sym: A System for Solving Elementary Problems via Large Language Models and Symbolic Solvers Minh Phu Nguyen, Minh Phuong Pham, Man Ngo, Kha Tuan Minh