Дообученная Wav2Vec 2.0 модель для распознавания англоязычных радиопереговоров авиадиспетчеров.
Подходит для: транскрибация сообщений авиадиспетчеров на английском языке · распознавание речи в радиопереговорах пилотов и диспетчеров · оценка качества ASR на корпусе UWB-ATCC
Чешская BERT-модель на 136,7 млн параметров для заполнения пропусков и последующего дообучения на задачах анализа чешского текста.
Подходит для: Заполнение пропущенных слов в чешских текстах · Дообучение классификатора тональности чешских отзывов · Оценка семантического сходства чешских предложений
BERT-модель классифицирует текстовые реплики англоязычного авиационного радиообмена как сообщения пилота или авиадиспетчера.
Подходит для: определение, говорит ли пилот или авиадиспетчер в текстовой расшифровке · разметка ролей участников переговоров ATC · подготовка диалогов диспетчерского радиообмена для анализа
Англоязычная модель Wav2Vec 2.0 для распознавания переговоров авиадиспетчеров из аудио в текст.
Подходит для: транскрибация переговоров авиадиспетчеров · распознавание англоязычной связи пилотов с диспетчерской · оценка качества ASR на корпусах ATCOSIM и UWB-ATCC
Модель распознаёт англоязычные радиопереговоры авиадиспетчеров и преобразует их в текст.
Подходит для: транскрибация радиопереговоров авиадиспетчеров · распознавание речи в записях управления воздушным движением · оценка качества распознавания на корпусах UWB-ATCC и ATCOSIM
Дообученная на синтетических данных версия Whisper large-v3 для распознавания англоязычного радиообмена авиационного управления.
Подходит для: Транскрибация переговоров пилотов и авиадиспетчеров · Распознавание команд ATC в шумном VHF-радиоканале · Создание текстовых протоколов радиообмена
Специализированная модель эмбеддингов для семантического поиска и сопоставления англоязычных математических текстов с объявлениями Lean 4.
Подходит для: поиск объявлений Lean 4 по описанию математического понятия · поиск естественно-языкового описания по Lean-сигнатуре · сопоставление математических утверждений с разными формулировками
Модель эмбеддингов для семантического поиска и сопоставления математических формулировок на естественном языке и в Lean 4.
Подходит для: поиск объявления Lean 4 по неформальному описанию математического понятия · поиск математического описания по типу или объявлению Lean 4 · сравнение сходства математических утверждений с разными формулировками
Дообученная Qwen3-ASR для вспомогательной транскрибации английских авиационных переговоров по зашумлённой VHF-радиосвязи.
Подходит для: транскрибация записей переговоров авиадиспетчеров по VHF · поиск по архиву авиационных радиопереговоров · выделение ключевых слов и предупреждений из радиозаписей