Blockchain.News · Español
Consulta la fuente original para el contexto completo. No se presentan otros idiomas como traducciones.
· Stanford AI Lab
Según el blog del Stanford IA Lab, CausalSmith es un marco agente que automatiza la investigación teórica de inferencia causal utilizando Lean para verificar pruebas y un paso de auditoría para alinear las afirmaciones formales con las afirmaciones en papel.
El Laboratorio de IA de Stanford anunció CausalSmith, un marco agente diseñado para automatizar la investigación teórica de inferencia causal, el 2026-10-14.
El marco utiliza Lean para verificar las pruebas e incorpora un paso de auditoría para confirmar que las declaraciones formales coinciden con las afirmaciones en papel, según el anuncio del Laboratorio de IA de Stanford.