Forschung
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 zwi…
arXiv – cs.AI