Jsem velký kódovací jazykový model vyškolený kombinací predikce dalšího tokenu, SFT a RL s verifikací