پژوهش
آموزش فاینتون مودال استرینگ ترنسفورمر برای جستجوی مستندات تصویری و متنی
در این مقاله به پیشرفتهای جدید حِفینګ فِیچر در مدلهای چندرسانهای با استفاده از کتابخانه سِنتنس ترنسفورمر میپردازیم و نحوه فاینتون Qwen3-VL-Embedding-2B برای جستجوی مستندات تصویری را توضیح میدهیم.
پژوهش
Sentence Transformers به Hugging Face میپیوندد: تحول جدید در هوش مصنوعی
کتابخانه Sentence Transformers به پلتفرم Hugging Face ملحق میشود و دسترسی به ابزارهای پیشرفتهٔ هوش مصنوعی برای پژوهشگران و توسعهدهندگان را تسهیل میکند.
پژوهش
کِمینا‑پروور: هوش مصنوعی «Test‑Time RL» در جستجوی اثباتهای رسمی
مدل برجستهی کِمینا‑پروور با استفاده از جستجوی RL در زمان آزمون، پیشرویهای جدیدی در حل مسئلهی خودکار ریاضیات و منطق معرفی میکند. مزایا، روش و کاربردهای آن را بخوانید.
پژوهش
هوش مصنوعی در ریاضیات: Kimina-Prover و جستجوی RL در زمان اجرا
Kimina-Prover، یک الگوریتم هوش مصنوعی مبتنی بر جستجوی RL در زمان اجرا، میتواند مدلهای بزرگ یادگیری رسمی را بهینه کند و خطاهای ریاضی را اصلاح نماید.