Дообученная Qwen3-4B оценивает, подтверждают ли заданные факты юридический элемент в конвейере Nyaya.

Подходит для: оценка наличия юридического элемента по изложенным фактам · получение краткого вердикта «установлено» или «не установлено» · извлечение вероятности вердикта по логарифмам вероятностей первого токена

Дообученная Qwen3-4B для определения, подтверждены ли элементы отдельных составов преступлений по индийским законам приведёнными фактами.

Подходит для: Проверка подтверждения элементов состава преступления по заданным фактам · Выделение факта, подтверждающего конкретный элемент закона · Структурированный анализ сценариев по охваченным статьям индийского Уголовного кодекса

Исследовательская модель AxisMeru на базе Qwen2.5-3B, генерирующая формальные проверяемые Lean 4 доказательства по ограниченному набору положений индийского законодательства.

Подходит для: генерация формальных доказательств применимости отдельных норм IPC и BNS · проверка структурированных юридических рассуждений компилятором Lean 4 · эксперименты с формализацией доказательств по тексту индийских законов

Модель AxisMeru на базе Qwen2.5-3B для генерации формализованных доказательств применимости отдельных норм индийского уголовного законодательства с проверкой Lean 4.

Подходит для: формирование структурированного доказательства применимости нормы IPC или BNS · определение применимой нормы среди ограниченного набора статей индийского законодательства · подготовка формализованных юридических доказательств для проверки Lean 4