מחקר
4 דקות
מ־arXiv cs.AI
בדיקת עמידות מודלי LLM: מבחן חדש לבעיות לוגיות
חוקרים השיקו מבחן 2-SAT פרמטרי לבדיקת עמידות מודלי LLM בלוגיקה. הכלי חושף חולשות מבניות נסתרות ומאפשר שליטה מדויקת במבחנים. חיוני לעסקים בונים AI אמין.
קרא עודחיפוש בחדשות
1 תוצאות עבור "2-SAT".