LLM'lar noto'g'ri teoremalarni rad etishda qiynalmoqda
Katta til modellari (LLM) ko‘pincha teoremalarni isbotlay olsa-da, noto‘g‘ri teoremalarni rad etishda muammolarga duch keladi. Tadqiqotchilar bu bo‘shliqni bartaraf etish uchun SymCE korpusini yaratdi.