מחקר
3 דקות
מ־arXiv cs.AI
CodeLogician: נוירו-סימבולי לניתוח מדויק של לוגיקת תוכנה
בעידן שבו מודלי שפה גדולים (LLM) שולטים בהבנת קוד, עדיין חסרה להם היכולת לבצע ניתוח מתמטי מדויק ומקיף של התנהגות תוכנה. חוקרים מציגים את CodeLogician... קראו עכשיו את הפרטים המלאים!
קרא עוד