
چرا چککردن نوع برای تضمین صحت ترجمههای ریاضی کافی نیست؟
چارچوب جدید BPF با شناسایی ۸۹.۶ درصد از انحرافات معنایی، شکاف وفاداری در تبدیل ریاضیات زبان طبیعی به کد فرمال را میپوشاند. این متد بهطور قابلتوجهی دقیقتر از روشهای رایج…
دستهبندی
تحلیلهای عمیق مدلها، مقالات و بنچمارکها — پیشچاپها، ارزیابیها، مدلهای زبانی پیشرو و پژوهش همراستاسازی.
۳٬۵۶۶ مقاله منتشر شده

چارچوب جدید BPF با شناسایی ۸۹.۶ درصد از انحرافات معنایی، شکاف وفاداری در تبدیل ریاضیات زبان طبیعی به کد فرمال را میپوشاند. این متد بهطور قابلتوجهی دقیقتر از روشهای رایج…

چارچوب GIST-CMTF با معرفی لایهی استنتاج وضعیت هدف، مانع از اجرای وظایف بر اساس درخواستهای مبهم کاربران میشود. این سیستم با اعتبارسنجی هدف پیش از معرفی ابزارها، نرخ موفقیت در…

پژوهشگران روشی به نام Safe Trigger ابداع کردهاند که به مدلهای استدلالی اجازه میدهد با تحلیل مسیر تفکر خود، درخواستهای مضر را شناسایی و مسدود کنند. این رویکرد نیاز به دادههای…

پژوهشگران چارچوب OpenClaw-Skill را معرفی کردند که با استفاده از جستوجوی جمعی در درخت مهارتها (CSTS)، کتابخانهای از مهارتهای بازیافتپذیر برای عاملهای هوش مصنوعی میسازد. این…

پژوهشگران چارچوب **Skill-to-LoRA** (S2L) را معرفی کردهاند که دستورالعملهای متنی حجیم در پرامپتها را با آداپتورهای سبک **LoRA** جایگزین میکند. این رویکرد باعث کاهش ۶.۶ درصدی…

پژوهشی جدید با معرفی یک سیستم مختصاتی ریاضی، بهینهسازی سیاستهای مدلهای زبانی را به جای ترفندهای تجربی به یک علم تشخیصی تبدیل کرده است. این چارچوب نشان میدهد که بسیاری از…

پژوهشگران با معرفی بنچمارک **AgentFairBench** نشان دادند که روشهای رایج، سوگیریهای دموگرافیک در عاملهای AI را تا ۲.۴ برابر بیشتر از واقعیت تخمین میزنند. این مطالعه تأیید…

پژوهشگران پیشنهاد کردهاند که هوش مصنوعی پزشکی از مدلهای تشخیص ایستا به «مدلهای جهانی» تغییر مسیر دهد. هدف این رویکرد، تبدیل سیستمها از امتیازدهی ریسک به شبیهسازی پویا از مسیر…

پژوهشگران چارچوب User as Code (UaC) را معرفی کردند که حافظه متنی هوش مصنوعی را با اشیاء و توابع قابلاجرای پایتون جایگزین میکند. این تغییر پارادایم، دقت پاسخدهی عاملها به…

پژوهشهای جدید نشان میدهد که در حالی که تحلیل متن برای تشخیص وضعیت عاطفی فعلی کاربر دقیق است، اما در پیشبینی تغییرات آتی ناکارآمد است. در مقابل، تحلیل دینامیکهای عددیِ…

تحلیل جدیدی نشان میدهد شرکتهای متوسط باید به جای تعقیب خودمختاری کامل، به سراغ «خودمختاری جزئی کنترلشده» بروند. این رویکرد با تمرکز بر یکپارچهسازی انسانمحور، بار اداری را…

بنچمارک جدید CoffeeBench نشان میدهد که برخی مدلهای زبانی با وجود توانایی برنامهریزی دقیق، در محیطهای اقتصادی بلندمدت دچار «بیعملی» میشوند. Claude Haiku 4.5 در این آزمون…