Makalah posisi ini berargumen untuk autoformalisasi tingkat teori, yang melibatkan formalisasi teori lengkap sebagai pustaka terstruktur daripada berfokus pada pernyataan individu.
Para penulis memeriksa signifikansi pergeseran dari terjemahan teorema terisolasi ke penanganan seluruh jaringan aksioma, definisi, dan lemma. Mereka membahas pandangan alternatif dan mengidentifikasi tantangan terbuka di domain ini.
Untuk memajukan bidang ini, para penulis mengusulkan tiga jalur yang menjanjikan untuk autoformalisasi tingkat teori.