CausalForge : recherche automatique en inférence causale

CausalForge est un cadre de recherche automatique en inférence causale fondé sur l'assistant de preuve Lean. Il combine Causalean, une bibliothèque formelle, à CausalSmith, un pipeline d'agents autonomes qui sélectionne des sujets, formalise des énoncés et construit des preuves vérifiées par machine. Le système intègre un audit pour comparer les théorèmes formels aux revendications scientifiques informelles.