POETRY verbessert die Effizienz von Theorembeweisen durch seinen rekursiven Ansatz.
― 6 min Lesedauer
Zhengying Liu
Neue Methoden und Benchmarks sollen die Formalisierung von Mathematik mit Lean 4 vereinfachen.
― 6 min Lesedauer
Hochmoderne Wissenschaft einfach erklärt
POETRY verbessert die Effizienz von Theorembeweisen durch seinen rekursiven Ansatz.
― 6 min Lesedauer
Neue Methoden und Benchmarks sollen die Formalisierung von Mathematik mit Lean 4 vereinfachen.
― 6 min Lesedauer