/

/

Core_Logic_Model

Обзор ДокументацияВойти

/

/

Core_Logic_Model

Аналитика

Безопасность

Core_Logic_Model

Описание

1.02 MiB

Правила участия

В избранном0

Языки

Python98,8%
Shell1,2%

Сообщить о нарушении

Коммиты:

Maxim
Finalize LLM pipeline merge readiness
09 июн 2026, 22:16
09 июн 2026, 22:16a03db65

llm model added + pipeline docs

14 дней назад

Finalize LLM pipeline merge readiness

14 дней назад

Finalize LLM pipeline merge readiness

14 дней назад

Finalize LLM pipeline merge readiness

14 дней назад

Initial CLM LFL project

16 дней назад

CONTRIBUTING.md

Initial CLM LFL project

16 дней назад

Finalize LLM pipeline merge readiness

14 дней назад

prepare_tptp.py

В actions.py (line 22) добавил управление cut: теперь enumerate_backward_applications(..., include_cut=False, max_cut_formulas=N) позволяет отключать или ограничивать самый взрывоопасный класс действий.

15 дней назад

llm model added + pipeline docs

14 дней назад

run_tptp_training.sh

Initial CLM LFL project

16 дней назад

README.md