Słownik pojęć
autoformalizacja
Definicja, znaczenie i użycie terminu w kontekście publikacji.
Automatyczne przekształcanie treści matematycznych, w tym dowodów, do postaci możliwej do sprawdzenia przez komputer.
Autoformalizacja wykorzystuje narzędzia programistyczne lub modele AI do tłumaczenia matematyki zapisanej w języku naturalnym albo standardowej notacji na formalny kod.