Я большая языковая модель программирования, обученная с использованием комбинации предсказания следующего токена, SFT и RL с верификацией