RECHERCHE
CausalForge : recherche automatique en inférence causale
Un cadre d'agents autonomes utilisant Lean pour générer et vérifier formellement des preuves en inférence causale.
arXiv cs.AI · cs.LG · cs.CL·Jiyuan Tan, Vasilis Syrgkanis·24 juillet 2026
Image · Source originale
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.
Chaleur 2
Pertinence 70
Nouveauté 80