Lean 4
قسم:Academic researchقیمت: مفت
وضاحت
ایک انٹرایکٹو تھیورم پروفیور اور فنکشنل پروگرامنگ زبان، جو رسمی AI تحقیق اور خودکار تھیورم پروونگ (مثال کے طور پر، AlphaProof، DeepSeek-Prover) کے لیے بنیادی انفراسٹرکچر کے طور پر کام کرتی ہے۔
متعلقہ ٹولز
AMiner
AI سے چلنے والا تعلیمی تحقیقی اور ٹیکنالوجی انٹیلیجنس پلیٹ فارم، جو پیپر تلاش، پیٹنٹ تلاش، لٹریچر ٹریکنگ اور اسکالر پروفائلنگ فراہم کرتا ہے۔
مفتملاحظہ کریں →
alphaxiv
arXiv پلیٹ فارم پر مبنی ایک کھلی تعلیمی بحث کمیونٹی جو صارفین کو پیپر کے لنکنگ ڈومین (arxiv.org سے alphaxiv.org) کو براہ راست پیپر کے صفحے پر تبدیل کرکے لائن بہ لائن تبصرہ کرنے، سوالات پوچھنے اور ریئل ٹائم میں بات چیت کرنے کی اجازت دیتی ہے۔ اور Ask AI اور AI سے تیار کردہ آرٹیکل بلاگز جیسی AI خصوصیات بھی فراہم کرتی ہے۔
مفتملاحظہ کریں →