Ya-chen Huang's international records