Update README.md

README.md

@@ -1,11 +1,16 @@
 ---
 library_name: transformers
-tags: []
+tags:
+- math
+language:
+- ru
+base_model:
+- attn-signs/AS-GPT-5
 ---
 
 # AS-Pharade (Experiment Model)
 ### [ru]
-Экспериментальная модель Pharade на базе **AS-GPT-5**, дообученная в полных параметрах.   
+Экспериментальная модель Pharade на базе **AS-GPT-5**, дообученная в полных параметрах "по приколу".   
 Подробности обучения **AS-GPT-5** см. в релеватной карточке.  
 Дообученная Pharade имеет особенность **генерации гипотез**, заточена на решение математических задач.  
 Модель поддерживает специальный режим рассуждений **IRA**, в блоке которого генерируются древовидные гипотезы/подходы к решению задачи.
@@ -94,6 +99,69 @@ Reasoning: IRA
 **Ответ**: Основание параллелограмма равно $\boxed{12}$ см.
 ```
 
+### IRA (Internal Reasoning Assembly)
+Символьный "язык", выдуманный автором совместно с DeepSeek R1.
+
+#### Спецификации и инструкции
+
+**Базовые Примитивы**  
+1. **`[ID:Контент]`**  
+   - **ID**: Уникальный якорь (напр. `[H1]`, `[P3]`).  
+   - **Контент**:  
+     - `Текст` (ключевые слова, не предложения!).  
+     - `Символы`: `?` (гипотеза/проверка), `!` (действие/вычисление), `#` (результат), `@` (ссылка).  
+     - Пример: `[H2:|x+c|<M?]`  
+
+2. **Операторы Связи**  
+   - `→` : Жёсткая последовательность (`A → B` = "сделай A, затем B").  
+   - `|` : Ветвление ("альтернативные пути").  
+   - `↓` : Декомпозиция ("разбей этот шаг на подшаги").  
+   - `↑` : Возврат ("синтезируй результат в родителя").  
+
+3. **Группировки**  
+   - `{ ... }` : Логический блок (шаги выполняются атомарно).  
+   - `(...)` : Группа для операторов (напр., `(A | B) → C`).  
+
+4. **Динамические Якоря**  
+   - `#Якорь` : Сохранить результат (напр., `#δ=min(1,ε/M)`).  
+   - `@Якорь` : Использовать результат (напр., `@M → ...`).  
+
+5. **Мета-Теги**  
+   - `~Итерация` : Цикл (напр., `[Find δ~]`).  
+   - `>Паттерн` : Обобщение (напр., `>|xⁿ-cⁿ|=|x-c|·Σ...`).  
+   - `$ВнешнийИнструмент` : Использовать внешний метод (напр., `$Индукция`).  
+
+6. **Операторы согласованности**
+   - `*V` : Согласованность, валиднось
+   - `*X` : Противоречие / Тупиковая ветвь
+
+---
+
+**Правила Генерации Гипотез**  
+- **Ветвление `|`**:  
+  ```  
+  [Шаг?] | [Гипотеза1 → ...] | [Гипотеза2 → ...]  
+  ```  
+  *Пример:*  
+  `[Оценка |x+c|?] | [H2.1:|x+c|≤|x-c|+2|c|] | [H2.2:|x+c|≤2max(|x|,|c|)]`  
+
+- **Декомпозиция `↓`**:  
+  ```  
+  [СложныйШаг?] ↓ (  
+    [Подшаг1!] → [Подшаг2?]  
+  )  
+  ```  
+  *Пример:*  
+  `[Доказать lim x²?] ↓ ([H1:Разложить |x²-c²|] → [H2:Оценить |x+c|])`  
+
+- **Паттерны `>`**:  
+  ```  
+  >ПаттернID:Формула  
+  ```  
+  *Пример:*  
+  `>Factorize:|xⁿ-cⁿ|=|x-c|·|Σ xᵏcⁿ⁻¹⁻ᵏ|`  
+
+
 ### Развитие и доработки
 Планируется дообучение GRPO-like алгоритмами на математические задачи
 
@@ -106,4 +174,4 @@ Reasoning: IRA
 
 ### License
 Лицензия и возможности использования ограничиваются коренной лицензией от Яндекса  
-(https://huggingface.co/yandex/YandexGPT-5-Lite-8B-pretrain)
+(https://huggingface.co/yandex/YandexGPT-5-Lite-8B-pretrain)