Academic research
3 tools
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
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 →
AMiner
AI-powered academic research and tech intelligence platform providing paper search, patent search, literature tracking, and scholar profiling
FreeVisit →