RomanGradinar
/

tolik-2-agi-monad

category-theory

formal-verification

neuro-symbolic-ai

Model card Files Files and versions

Tolik 2.0 AGI: Self-Verifying Neuro-Symbolic Model

Модель для генерации математически корректных структур теории категорий с формальной верификацией и автономным самообучением (11+ циклов Auto-RLHF, Final Loss: 0.1627).

Downloads last month: 7

Inference Providers NEW

This model isn't deployed by any Inference Provider. 🙋 Ask for provider support

Model tree for RomanGradinar/tolik-2-agi-monad

Base model

Qwen/Qwen2.5-1.5B

Finetuned

Qwen/Qwen2.5-1.5B-Instruct

Finetuned

(1979)

this model