دسته: arXiv AI (cs.AI)

تا حالا به این فکر کردید که چطور چند عامل (Agent) هوش مصنوعی مستقل می‌توانند بدون به اشتراک گذاشتن کدهای محرمانه خود، با هم…

تفسیر تصاویر راداری (SAR) به دلیل نویزها و پیچیدگی‌های خاص، همیشه یکی از چالش‌های بزرگ در سنجش از دور بوده است. حالا پژوهشگران با…

تحلیل داده‌های پیچیده علمی همیشه یکی از چالش‌های بزرگ دانشمندان بوده است. حالا محققان با توسعه یک سیستم «ایجنتیک» (Agentic AI) در تاسیسات European…

تا حالا فکر کردید چطور می‌توانیم مدل‌های زبانی کوچک و سبک را بدون نیاز به آموزش مجدد و هزینه‌های سنگین، به عامل‌های (Agents) قدرتمند…

یکی از بزرگترین مشکلات مدل‌های زبانی بزرگ (LLM)، بیانِ با اعتمادبه‌نفسِ پاسخ‌های اشتباه یا همان «توهم» است. روش‌های فعلی برای اندازه‌گیری عدم قطعیت مدل،…

تا به حال برای آموزش ایجنت‌های هوشمند (AI Agents) که با APIها کار می‌کنند، نیاز به شبیه‌سازی‌های سنگین و دیتابیس‌های پیچیده بود؛ اما محققان…

تا امروز مدل‌های زبانی بیشتر به دنبال حل مسئله بودند، اما در پژوهش جدیدی با نام Lomekwi، محققان روی توانایی مدل‌ها برای «کشف ابزار»…

محققان در پژوهشی تازه، راهکار جدیدی برای فشرده‌سازی زنجیره تفکر (Chain-of-Thought) در مدل‌های زبانی ارائه کرده‌اند. متد C-MTP جایگزین روش‌های کند و پرمصرف قدیمی…

محققان در یک دستاورد علمی جدید، نشان داده‌اند که چگونه می‌توان با استفاده از مفهوم «استنتاج فعال» (Active Inference)، فرآیند تنظیم دستی پارامترها در…

محققان به تازگی سیستم هوشمندی به نام PriorProof را معرفی کرده‌اند که می‌تواند «میزان نوآوری» و خلاقیت در اثبات‌های ریاضی (به‌ویژه در کتابخانه Lean)…