AMiner
קטגוריה:Academic researchתמחור: חינם
תיאור
פלטפורמת מחקר אקדמי ומודיעין טכנולוגי מונעת בינה מלאכותית, המספקת חיפוש מאמרים, חיפוש פטנטים, מעקב ספרות ופרופילי חוקרים.
כלים קשורים
alphaxiv
קהילת דיון אקדמית פתוחה המבוססת על פלטפורמת arXiv, המאפשרת למשתמשים להגיב שורה אחר שורה, לשאול שאלות ולתקשר בזמן אמת על ידי החלפת דומיין הקישור של המאמר (arxiv.org ב- alphaxiv.org) ישירות בעמוד המאמר. ומספקת תכונות AI כגון Ask AI ובלוגי מאמרים שנוצרו על ידי AI.
חינםבקר →
Lean 4
מוכיח משפטים אינטראקטיבי ושפת תכנות פונקציונלית, המשמשים כתשתית ליבה למחקר AI פורמלי ולהוכחת משפטים אוטומטית (למשל, AlphaProof, DeepSeek-Prover).
חינם