Lean 4
Kategorie:Academic researchPreisgestaltung: Kostenlos
Beschreibung
Ein interaktiver Theorembeweiser und eine funktionale Programmiersprache, die als Kerninfrastruktur für formale KI-Forschung und automatisiertes Theorembeweisen dient (z. B. AlphaProof, DeepSeek-Prover).
Verwandte Tools
AMiner
KI-gestützte Plattform für akademische Forschung und Technologie-Intelligenz mit Papiersuche, Patentsuche, Literaturverfolgung und Wissenschaftlerprofilen.
KostenlosBesuchen →
alphaxiv
Eine offene akademische Diskussions-Community auf Basis der arXiv-Plattform, die es Nutzern ermöglicht, durch Ersetzen der Paper-Link-Domain (arxiv.org durch alphaxiv.org) direkt auf der Papierseite zeilenweise zu kommentieren, Fragen zu stellen und in Echtzeit zu interagieren. Bietet außerdem KI-Funktionen wie Ask AI und KI-generierte Artikelblogs.
KostenlosBesuchen →