دسته: مقالات علمی

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

تا حالا دقت کردید که هوش مصنوعی گاهی اوقات به جای پرسیدن سوالات دقیق برای رفع ابهام، دچار سردرگمی می‌شود؟ محققان در مقاله جدیدی،…

آیا تا به حال فکر کرده‌اید که چرا مدل‌های بینایی-زبانی (VLM) گاهی در پاسخ به سوالات پیچیده شکست می‌خورند؟ پژوهشگران با معرفی بنچمارک CRAG-MM-Diagnostics،…

دنیای هوش مصنوعی فقط مدل‌های زبانی نیست! در تحقیقات جدیدی که روی مسائل استنتاج و «استدلال غیریکنواخت» (Non-monotonic reasoning) انجام شده، محققان به سراغ…

محققان در یک مطالعه جدید، قدرت مدل‌های زبانی (LLM) را در حوزه «اثبات قضایای ریاضی» به چالش کشیده‌اند. در این تحقیق، از یک مدل…

محققان در پژوهشی تازه، روشی برای کدگذاری بیش از ۶۰۰ «قانون اثبات» در زبان برنامه‌نویسی Prolog معرفی کرده‌اند. این پروژه که با پلتفرم معروف…

اگر در حوزه مدل‌سازی رسمی و سیستم‌های منطقی فعالیت می‌کنید، خبر خوبی برایتان داریم! ابزار ProB که به عنوان یک حل‌کننده محدودیت (Constraint Solver)…

شطرنج همیشه یکی از میدان‌های اصلی برای تست قدرت هوش مصنوعی بوده است. حالا محققان چارچوب جدیدی به نام «Chess_db» معرفی کرده‌اند که کار…

محققان در یک آزمایش جذاب، قدرت «Claude» را در حل مسائل کلاسیک برنامه‌نویسی پرولوگ (P-99) محک زدند. نکته جالب اینجاست که آن‌ها فقط به…

محققان در مطالعه جدیدی به سراغ حل یکی از چالش‌های بزرگ «تحرک هوایی شهری» (UAM) رفته‌اند: جلوگیری از برخورد پهپادها و تاکسی‌های هوایی در…