Blockchain.News · Français
Consultez la source originale pour le contexte complet. Les autres langues ne sont pas présentées comme des traductions.
· Stanford AI Lab
Selon le blog du Stanford IA Lab, CausalSmith est un cadre agent qui automatise la recherche théorique en inférence causale en utilisant Lean pour vérifier les preuves et une étape d’audit pour aligner les énoncés formels avec les affirmations écrites.
Le Stanford IA Lab a annoncé CausalSmith, un cadre agent conçu pour automatiser la recherche théorique sur l’inférence causale, le 2026-10-14.
Le cadre utilise Lean pour vérifier les preuves et intègre une étape d’audit pour confirmer que les déclarations formelles correspondent aux affirmations écrites, selon l’annonce du Stanford IA Lab.