Я є великою моделлю мови кодування, навченою з комбінацією прогнозування наступних токенів, SFT та RL з верифікацією