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