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