AMiner
వర్గం:Academic researchధర: ఉచితం
వివరణ
AI-ఆధారిత విద్యాపరమైన పరిశోధన మరియు టెక్ ఇంటెలిజెన్స్ ప్లాట్ఫారమ్, పేపర్ శోధన, పేటెంట్ శోధన, సాహిత్య ట్రాకింగ్ మరియు పండితుల ప్రొఫైలింగ్ను అందిస్తుంది.
సంబంధిత సాధనాలు
alphaxiv
arXiv ప్లాట్ఫారమ్ ఆధారంగా ఒక ఓపెన్ అకాడెమిక్ చర్చా సంఘం, ఇది వినియోగదారులు పేపర్ యొక్క లింకింగ్ డొమైన్ను (arxiv.org నుండి alphaxiv.org) నేరుగా పేపర్ పేజీలో భర్తీ చేయడం ద్వారా లైన్-బై-లైన్ వ్యాఖ్యానించడానికి, ప్రశ్నలు అడగడానికి మరియు నిజ-సమయంలో పరస్పర చర్య చేయడానికి అనుమతిస్తుంది. మరియు Ask AI మరియు AI-రూపొందించిన కథనాల బ్లాగులు వంటి AI ఫీచర్లను అందిస్తుంది.
ఉచితంసందర్శించండి →
Lean 4
ఒక ఇంటరాక్టివ్ సిద్ధాంత నిరూపకం మరియు ఫంక్షనల్ ప్రోగ్రామింగ్ భాష, ఇది అధికారిక AI పరిశోధన మరియు స్వయంచాలక సిద్ధాంత నిరూపణ (ఉదా., AlphaProof, DeepSeek-Prover) కోసం కోర్ మౌలిక సదుపాయంగా పనిచేస్తుంది.
ఉచితం