SITA: Automatisierte Formalisierung von Struktur-zu-Instanz-Theoremen
Die jüngste Veröffentlichung von SITA (Structure-to-Instance Theorem Autoformalization) zeigt, wie große Sprachmodelle (LLMs) die Lücke zwischen abstrakten mathematischen Theorien und konkreten Anwendungen in der Lean-P…