Lean 4
Categorie:Academic researchPrijzen: Gratis
Beschrijving
Een interactieve stellingbewijzer en een functionele programmeertaal, die fungeert als kerninfrastructuur voor formeel AI-onderzoek en geautomatiseerd stellingbewijzen (bijv. AlphaProof, DeepSeek-Prover).
Gerelateerde tools
AMiner
AI-gestuurd platform voor academisch onderzoek en technologische intelligentie, met zoeken naar papers, zoeken naar patenten, literatuurvolging en wetenschappersprofielen.
GratisBezoek →
alphaxiv
Een open academische discussiegemeenschap op basis van het arXiv-platform waarmee gebruikers regel voor regel kunnen reageren, vragen kunnen stellen en in realtime kunnen interacteren door het linkdomein van het papier (arxiv.org door alphaxiv.org) rechtstreeks op de papierpagina te vervangen. En biedt AI-functies zoals Ask AI en door AI gegenereerde artikelblogs.
GratisBezoek →