Илья Кореник

ML Researcher

Работа в должности ML Researcher в компании Huawei. Задачи включали использование LLM + Lean 4, кластеризацию на основе эмбеддингов для группировки задач по темам и уровню сложности, тестирование солверов (AlphaProof, G¨odelProver) и LLM-солверов на подготовленных тестовых выборках.

• Применил кластеризацию на основе эмбеддингов для группировки задач по темам и уровню сложности
• Протестировал солверы (AlphaProof, G¨odelProver) и LLM-солверы на подготовленных тестовых выборках

AI / Backend-разработчик

Работа в должности AI / Backend-разработчика в Famaga Group. Задачи включали обработку оборудования, поступающего по электронной почте, поиск по внутренней базе данных с внешними поисковыми запросами для повышения точности сопоставления, извлечение сущностей с существующими номенклатурными записями и ранжирование кандидатов, конвейер обработки входящих запросов.

• Повысил точность сопоставления за счет интеграции внешних поисковых запросов с внутренней базой данных
• Разработал конвейер обработки входящих запросов