Results

The final results of IOI 2023 are available here.