AMiner
श्रेणी:Academic researchमूल्य: मुफ़्त
विवरण
AI-संचालित अकादमिक अनुसंधान और तकनीकी खुफिया प्लेटफॉर्म, जो पेपर खोज, पेटेंट खोज, साहित्य ट्रैकिंग और विद्वान प्रोफाइलिंग प्रदान करता है।
संबंधित उपकरण
alphaxiv
arXiv प्लेटफ़ॉर्म पर आधारित एक खुला शैक्षणिक चर्चा समुदाय जो उपयोगकर्ताओं को पेपर के लिंकिंग डोमेन (arxiv.org से alphaxiv.org) को सीधे पेपर पेज पर बदलकर पंक्ति-दर-पंक्ति टिप्पणी करने, प्रश्न पूछने और वास्तविक समय में बातचीत करने की अनुमति देता है। और Ask AI और AI-जनित लेख ब्लॉग जैसी AI सुविधाएँ भी प्रदान करता है।
मुफ़्तदेखें →
Lean 4
एक इंटरैक्टिव प्रमेय सिद्धकर्ता और कार्यात्मक प्रोग्रामिंग भाषा, जो औपचारिक AI अनुसंधान और स्वचालित प्रमेय सिद्ध करने (जैसे, AlphaProof, DeepSeek-Prover) के लिए मुख्य बुनियादी ढांचे के रूप में कार्य करती है।
मुफ़्त