پژوهش
کِمینا‑پروور: هوش مصنوعی «Test‑Time RL» در جستجوی اثباتهای رسمی
مدل برجستهی کِمینا‑پروور با استفاده از جستجوی RL در زمان آزمون، پیشرویهای جدیدی در حل مسئلهی خودکار ریاضیات و منطق معرفی میکند. مزایا، روش و کاربردهای آن را بخوانید.
مدلها
Llama Nemotron Nano‑VL: هوش مصنوعی OCR برتر با NVIDIA 8B پارامتر
نویسندهٔ Llama Nemotron Nano‑VL از NVIDIA با 8 میلیارد پارامتر، OCR قدرتمند تصویر را شناسایی میکند؛ در حسابداری، قراردادها و بهداشت کاربرد دارد.
پژوهش
هوش مصنوعی: HELMET، رویکرد جامع برای ارزیابی مدلهای طویل متن
HELMT، چارچوب ارزیابی نوین برای مدلهای زبان با طول متن بلند، به صورت متن باز و تحقیقاتی، نمونههای کاربردی و مزایای آن در دنیای هوش مصنوعی را میپذیرد.