Neue Methode kombiniert Text- und Strukturinfos zur Premise-Auswahl in Lean
In der Welt der formalen Beweisführung stellt die Auswahl der richtigen Prämissen einen entscheidenden Engpass dar. Ein neues Verfahren aus dem arXiv-Preprint 2510.23637v1 löst dieses Problem, indem es Text- und Struktu…