Este artículo de posición aboga por la autoformalización a nivel de teoría, que implica formalizar teorías completas como bibliotecas estructuradas en lugar de centrarse en enunciados individuales.
Los autores examinan la importancia de este cambio desde la traducción de teoremas aislados hacia el manejo de redes enteras de axiomas, definiciones y lemas. Abordan perspectivas alternativas e identifican desafíos abiertos en este dominio.
Para avanzar en el campo, los autores proponen tres caminos prometedores hacia adelante para la autoformalización a nivel de teoría.