پژوهش
هوش مصنوعی در اثبات نظریه: Kimina-Prover-RL و تأثیراتش
Kimina-Prover-RL، یک پایپلاین آموزش بازآفرینی در Lean 4، ترکیبی از استدلال ساختارمند و تولید متن است که قابلیتهای جدیدی برای اثبات خودکار در حوزهی هوش مصنوعی ارائه میدهد.
محصولات
ExecuTorch 0.7: هوش مصنوعی نسل جدید در جهان موبایل بهدسترس
ExecuTorch 0.7، نسخه تازه معماری AI از آرم، با پشتیبانی پیشرفته از KleidiAI، عملکرد سرعتبخشی را به دستگاههای اندروید و کراس پلیفرم ارتقا میدهد، سرعت فراخوانی مدل، حافظه را کاهش و درهمچینگی را ساده میکند.
پژوهش
هوش مصنوعی در زبان فیلیپین: بررسی جدید FilBench و چالشهای ترجمه
تحقیق FilBench ثابت کرده که مدلهای زبانی منطقهای هنوز از GPT‑4 عقبتر هستند. ترجمه فیلیپین دشوار است، ولی جمعآوری دادهها جهت آموزش مدلهای تازهساز امیدوارکنندهاست.
پژوهش
هوش مصنوعی: نحوه همسو سازی مدلهای دید-زبان در TRL جدید و بهروز
در این مقاله به بررسی روشهای نوین همسو سازی مدلهای دید‑زبان در فریمورک TRL پرداخته، مقایسهای بین MPO، GRPO و GSPO ارائه کرده و کاربردهای عملی در علوم و صنعت را بررسی میکنیم.