#reutilización de mathlib

Formalizando análisis numérico: pipeline de agentes y auditoría de calidad

Descubre cómo evaluamos la calidad de formalizaciones numéricas generadas por agentes IA más allá de la compilación. Auditoría sistemática con LLM.