Forschung
SorryDB: KI-Prover testen echte Lean-Theoreme – neue dynamische Benchmark
Auf der Plattform arXiv wurde die neue Studie „SorryDB“ vorgestellt, die ein ständig aktualisiertes Benchmark für offene Lean-Aufgaben bere…
arXiv – cs.AI