מחקר
3 דקות
מ־arXiv cs.AI
יחס חשיבות מקדים: יציבות באופטימיזציה של LLMs
מודלי שפה גדולים זקוקים ליציבות באימון RL מחוץ-מדיניות. חוקרים מציגים MinPRO, שיטה חדשה המבוססת על יחס חשיבות מקדים, שמשפרת יציבות וביצועים. קראו עכשיו!
קרא עודחיפוש בחדשות
5 תוצאות עבור "היגיון מתמטי".
מחקר
3 דקות
מ־arXiv cs.AI
למדו יותר בפחות: התאמת אי-ודאות ב-RLVR
מודלים גדולים של שפה משפרים היגיון מתמטי ב-RLVR, אך בעלויות גבוהות. חוקרים מציעים למידה אקטיבית עם התאמת אי-ודאות שמשיגה תוצאות מלאות ב-30% נתונים. קראו עכשיו על הפריצה הזו.
קרא עודמחקר
2 דקות
מ־arXiv cs.AI
VisTIRA: סגירת פער התמונה-טקסט בהיגיון מתמטי ויזואלי
מודלים ויזואליים-לשוניים מפגרים בהיגיון מתמטי על תמונות בגלל פער מודליות. VisTIRA, סוכן חדשני, סוגר את הפער באמצעות פירוק מובנה וכלים. קראו עכשיו!
קרא עודמחקר
3 דקות
מ־arXiv cs.AI
CodeLogician: נוירו-סימבולי לניתוח מדויק של לוגיקת תוכנה
בעידן שבו מודלי שפה גדולים (LLM) שולטים בהבנת קוד, עדיין חסרה להם היכולת לבצע ניתוח מתמטי מדויק ומקיף של התנהגות תוכנה. חוקרים מציגים את CodeLogician... קראו עכשיו את הפרטים המלאים!
קרא עודמחקר
2 דקות
מ־arXiv cs.AI
TRACE: מסגרת חדשה להערכת היגיון צעד אחר צעד במודלי שפה וחזון
מודלי שפה וחזון נתקלים בקשיים בהיגיון מתמטי ומדעי אמין. TRACE, מסגרת חדשה, חושפת כשלים בצעדים הביניים באמצעות ARS ומדדי תואם. קראו כיצד זה משפר מודלים. (92 מילים)
קרא עוד