Among the planets discovered so far, which are named after people?

1. The asteroid in Zu Chongzhi was discovered by Purple Mountain Observatory in 1964. 2. Guo Shoujing star? , No.20 12 asteroid, officially named? Guo Shoujing star? 3.No. 1802 asteroid naming? Zhang hengxing? 4. Asteroid 2027 was named? Shen Kuo star?