מחקר28 בינואר 20263 דקות·מ־arXiv cs.AINTP4VC: בנצ'מרק ראשון להוכחת תנאי אימות נוירונליתאימות תוכנה נתקל בבקבוק צוואר בהוכחת תנאי אימות קשים. NTP4VC – בנצ'מרק חדש מבוסס לינוקס – בודק LLMs ומצביע על פער גדול. קראו עכשיו על ההזדמנויות!NTP4VCIsabelleLeanקרא עוד