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