AMiner
Category:Academic researchPricing: Free
Description
AI-powered academic research and tech intelligence platform providing paper search, patent search, literature tracking, and scholar profiling
Related Tools
alphaxiv
An open academic discussion community based on the arXiv platform that allows users to comment line-by-line, ask questions, and interact in real-time by replacing the paper's linking domain (arxiv.org for alphaxiv.org) directly on the paper's page. And provides AI features such as Ask AI and AI-generated article blogs
FreeVisit →
Lean 4
An interactive theorem prover and functional programming language, serving as the core infrastructure for formal AI research and automated theorem proving (e.g., AlphaProof, DeepSeek-Prover).
Free