<human>:  When did the US formally recognize the independence of the Republic of Korea?
<bot>: The US recognized the Republic of Korea in 1948. The US had been providing military and economic support to the Republic of Korea since the end of World War II, and the US had been providing diplomatic support since the end of the Korean War in 1953.