Bibliothèque · Annexe B.4
Méthodes formelles & IA pour la preuve
Références méthodologiques utilisées par le programme, sans revendication d’expertise.
APOLLO / Sorrifier
arXiv:2505.05758 — NeurIPS 2025.
Module qui patche les échecs de compilation Lean en insérant des sorry dans des blocs récursifs. Référence pour la stratégie d’isolation des sorry du programme Couret-Unification.
Executable Epistemology / Structured Cognitive Loop
Cadre à cinq composants (Judgment, Memory, Control, Action, Regulation). Référence pour la séparation Σ/Γ/Θ du programme.
Semantic Collapse
Travaux sur la géométrie de l’espace latent — Semantic Characterization Theorem, décembre 2025. Référence pour l’analyse de la robustesse des propositions d’IA.
Xénoépistémie
Philosophies MDPI, 2026. Théorie structurale de la connaissance non-anthropocentrée. Proposition récente, traitée comme cadre émergent — pas adoptée comme socle.