Skip to content

fix(prose,#17636): relay burst w4 c8 -- Argumentation-08b + Lean-15b + Lean-17c + Search-11c (4 carnets, md-only) #18489

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
myia-ai-01 merged 3 commits into from
Oct 1, 2026
Merged

fix(prose,#17636): relay burst w4 c8 -- Argumentation-08b + Lean-15b + Lean-17c + Search-11c (4 carnets, md-only) #18489

Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
415caf1
fix(prose,#17636): relay burst w4 c8 -- Argumentation-08b + Lean-15b …
jsboige Sep 29, 2026
00e433e
Merge branch 'main' into fix/vibe-relay-w4-c8
jsboige Sep 30, 2026
1ef8ba2
Merge branch 'main' into fix/vibe-relay-w4-c8
jsboige Sep 30, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion MyIA.AI.Notebooks/Search/Part1-Foundations/Search-11c-Empirical-Algorithm-Selection.ipynb
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4851,7 +4851,7 @@
"| Étape | Action |\n",
"|-------|--------|\n",
"| 1. Sélection | Tranche 1/3 (Sudoku) — la plus mature et testée (20 tests pytest passent sous WSL/Linux). |\n",
"| 2. Reproduction | `git clone --depth=1` du dépôt + lecture des 7 fichiers (`grid.py`, `instances.py`, `backtracking.py`, `dancing_links.py`, `cp_sat.py`, `smt.py`, `genetic.py`, `simulated_annealing.py`, `core.py`). |\n",
"| 2. Reproduction | `git clone --depth=1` du dépôt + lecture des fichiers (`grid.py`, `instances.py`, `backtracking.py`, `dancing_links.py`, `cp_sat.py`, `smt.py`, `genetic.py`, `simulated_annealing.py`, `core.py`). |\n",
"| 3. Vérification licence | WebFetch sur le README + `LICENSE` du dépôt : **MIT**, redistribution autorisée avec attribution. Re-vérifié le 2026-09-08 sur la cible actuelle (sous-dossier du repo de cours, `LICENSE` MIT à la racine du repo) — le lien d'origine est mort depuis la suppression du dépôt standalone (#14789). |\n",
"| 4. Transformation | Code source reproduit **verbatim** dans des cellules code, **ajout de docstrings pédagogiques en français** (cf. CLAUDE.md §E — documentation primaire en français). **Aucune modification de l'algorithmique** — la logique reste identique au projet étudiant. |\n",
"| 5. Enchâssement | Harnais de benchmark adapté (Windows : `signal.SIGALRM` → `time.monotonic()`), exécution séquentielle pour rester local et reproductible. |\n",
Expand Down
Loading