AMiner
Kategori:Academic researchPrissättning: Gratis
Beskrivning
AI-driven plattform för akademisk forskning och teknisk intelligens, som erbjuder artikelsökning, patentsökning, litteraturspårning och forskarprofiler.
Relaterade verktyg
alphaxiv
En öppen akademisk diskussionsgemenskap baserad på arXiv-plattformen som låter användare kommentera rad för rad, ställa frågor och interagera i realtid genom att ersätta papprets länkdomän (arxiv.org med alphaxiv.org) direkt på papprets sida. Och erbjuder AI-funktioner som Ask AI och AI-genererade artikelbloggar.
GratisBesök →
Lean 4
En interaktiv teorembevisare och ett funktionellt programmeringsspråk, som fungerar som kärninfrastruktur för formell AI-forskning och automatiserad teorembevisning (t.ex. AlphaProof, DeepSeek-Prover).
Gratis