Pikaliov
f374b0dafc
Standalone Claude Code skill repo extracted from CVGL vault (.claude/skills/generate-hypothesis/). Generates testable If/Then/Because hypotheses for the NADEZHDA / SOFIA research project from the literature library. Contents: - SKILL.md — behaviour spec (6-phase pipeline, output contract) - README.md — human-facing entry: when to use, install, examples - templates/hypothesis_full.md — full template (8 required sections) - templates/hypothesis_compact.md — short draft template - reference/method_taxonomy.md — methods to NADEZHDA components mapping Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
4.7 KiB
4.7 KiB
type, status, date, tags, related, author
| type | status | date | tags | related | author | |||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| hypothesis | draft | YYYY-MM-DD |
|
|
claude |
Гипотеза: [Краткая формулировка, ≤15 слов]
1. Формальная формулировка
Если [метод / подход / архитектурное решение], то [измеримый результат: ±X% на метрике Y на датасете Z], потому что [механистическое обоснование со ссылками на литературу].
- Уверенность: [High / Medium / Low] — [1 предложение: почему такой уровень]
- Область: [Teacher training / Student distillation / Fusion module / Loss design / Edge deployment / Full system]
- Связь с NADEZHDA: [Какой компонент затрагивает и как]
2. Обоснование и evidence
2.1 Поддерживающие работы
| Статья | Метод | Результат | Применимость |
|---|---|---|---|
| P{N}_... | ... | R@1 = ...% | Прямая / Косвенная |
| P{N}_... | ... | ... | ... |
| R{N}_... | ... | ... | ... |
2.2 Механистическое обоснование
[1-2 абзаца: почему данный метод ДОЛЖЕН работать в контексте NADEZHDA. Ссылки на конкретные результаты из таблицы выше. Формулы при необходимости.]
2.3 Противоречащие данные
[Статьи или факты, которые могут опровергнуть гипотезу. Если нет — явно указать "Прямых противоречий в литературе не выявлено".]
3. Фальсифицируемый тест
| Параметр | Значение |
|---|---|
| Baseline | [Метод/эксперимент для сравнения] |
| Метрика | [R@1, R@5, R@10, AP, latency, FLOPs] |
| Датасет | [University-1652 / CVUSA / CVACT / VIGOR / SUES-200] |
| Threshold | [Минимальный прирост для подтверждения: ΔR@1 ≥ X%] |
| Статистика | [3 повтора, 95% CI, paired t-test p < 0.05] |
| Подтверждение | Результат > Threshold на ≥ 2 датасетах |
| Опровержение | Результат ≤ Baseline или Feature Pollution (ухудшение L_task) |
4. Экспериментальный план
Этап 1: Подготовка [N дней]
- [Действие 1]
- [Действие 2]
Этап 2: Реализация [N дней]
- [Действие 1]
- [Действие 2]
Этап 3: Оценка [N дней]
- [Действие 1]
- Аблация: поочерёдное отключение компонентов
- Кросс-доменный тест: train на [X] → test на [Y]
Этап 4: Анализ [N дней]
- Сравнительная таблица с baseline
- Визуализация feature maps / attention maps
- Запись результатов в
3_work/
Общий таймлайн: [N недель]
5. Допущения
- [Вычислительное допущение: напр., RTX 4090 24GB достаточно для обучения]
- [Допущение о данных: напр., University-1652 репрезентативен для real-world]
- [Архитектурное допущение: напр., weight-sharing не деградирует при данном capacity gap]
6. Математическая формализация
[Формулы ключевых компонентов в LaTeX:]
L_{\text{total}} = \lambda_1 L_{\text{task}} + \lambda_2 L_{\text{...}} + ...
[Описание каждого компонента с размерностями тензоров.]
7. Связи с другими гипотезами
| Тип связи | Гипотеза | Описание |
|---|---|---|
| Расширяет | HYP_... | [Как развивает предыдущую гипотезу] |
| Противоречит | HYP_... | [В чём конфликт] |
| Дополняет | HYP_... | [Как сочетается] |
8. Лог статуса
- YYYY-MM-DD: Черновик создан (Claude,
/generate-hypothesis)