AMiner
دسته:Academic researchقیمت‌گذاری: رایگان
توضیحات
پلتفرم تحقیقات دانشگاهی و هوش فناوری مبتنی بر هوش مصنوعی، که جستجوی مقاله، جستجوی پتنت، پیگیری ادبیات و مشخصات محققان را فراهم می‌کند.
ابزارهای مرتبط
alphaxiv
یک انجمن بحث دانشگاهی باز مبتنی بر پلتفرم arXiv که به کاربران اجازه می‌دهد با جایگزینی دامنه پیوند مقاله (arxiv.org به alphaxiv.org) مستقیماً در صفحه مقاله، نظر خط به خط بدهند، سؤال بپرسند و در زمان واقعی تعامل داشته باشند. همچنین ویژگی‌های هوش مصنوعی مانند Ask AI و وبلاگ‌های مقاله تولید شده توسط هوش مصنوعی را فراهم می‌کند.
رایگانبازدید →
Lean 4
یک اثبات‌گر قضیه تعاملی و زبان برنامه‌نویسی تابعی که به عنوان زیرساخت اصلی برای تحقیقات هوش مصنوعی رسمی و اثبات قضیه خودکار (به عنوان مثال، AlphaProof، DeepSeek-Prover) عمل می‌کند.
رایگان