World Wires · Story 48572 · corroborated · 1 Quelle(n)

Lean-Graphsuche für formales Theorembeweisen

Ein Graphsuche-Ansatz verbessert das Auffinden von Lemmata durch Nutzung von Mehrsprung-Abhängigkeiten in Bibliotheken.

Im Desk öffnen

Berichterstattung

• Lean-Graphsuche für formales Theorembeweisen arXiv: new preprints (security, AI, physics) · Stufe C · Clear Net · 2026-10-15 17:55 UTC

Was diese Seite indexiert