Este artigo de posição defende a autoformalização em nível de teoria, que envolve formalizar teorias completas como bibliotecas estruturadas em vez de focar em afirmações individuais.
Os autores examinam a importância dessa mudança da tradução de teoremas isolados para o manejo de redes inteiras de axiomas, definições e lemas. Eles abordam visões alternativas e identificam desafios abertos neste domínio.
Para avançar na área, os autores propõem três caminhos promissores para a autoformalização em nível de teoria.