OlmoLogic 7B Think — англоязычная модель на базе Olmo 3, дообученная для логического рассуждения и построения правил на Prolog.
Подходит для: индукция логических правил на Prolog по примерам и фактам · классификация объектов с помощью объяснимых логических правил · решение задач на логическое рассуждение