مقالهی arXiv:2610.11578 · در صف خبرنامه
Chronos Enables Code Agents to Reason over Software Evolution
کرونوس: استدلال ایجنتهای کد روی تاریخچهی تکامل نرمافزار با گراف درخواستهای ادغام گذشته
- تاریخ
- (۱۶ مهر ۱۴۰۵) 2026-10-08 تأییدشده از روی تاریخ ارسال نسخهی اول در آرکایو
- نویسندهها
- Xin Yin, Yiang Zhang, Zhiyuan Peng, Chao Ni, Zhe Cui, Xiaohua Xin
- نهاد نویسندهها
- Zhejiang University; Shanghai Jiao Tong University; Hithink Research; National Industrial Information Security Development Research Center
- برچسب لابراتوار
- موضوعها
خلاصهی فارسی
مسئله
درخواستهای ادغام تاریخی تصمیمهای طراحی، قیدهای سازگاری و الگوهای پیادهسازی پشت وضعیت فعلی کد را ثبت میکنند. تجربهی مرتبط با یک تسک تازه ممکن است در چند تغییر مرتبط پخش باشد که توضیحاتشان روی نگرانیهای متفاوتی تأکید دارند، پس جستوجوی معنایی ساده آنها را با هم پیدا نمیکند.
روش
چارچوب زمان آزمون Chronos درخواستهای ادغامشده را به کارتهای تجربهی ساختاریافته تقطیر میکند و آنها را با گرافی از رابطههای سطح کد، نیت توسعهدهنده و سازمانی به هم وصل میکند. جستوجوی معنایی کارتهای ورودی را پیدا میکند و گسترش چندگامی وزندار تغییرهای مرتبط را بازیابی میکند. همین حافظه تولید و انتخاب وصله را هم هدایت میکند: دو ایجنت با تمرکز بر تغییر و بر راهبرد اعتبارسنجی هرکدام یک وصله میسازند و یک «ناظر تکامل» با مشورت تاریخچه بین آنها انتخاب میکند.
یافتهها
- روی SWE-Bench Verified، گردشکار کامل، ایجنت
SWE-Agentرا با هر شش مدل پایهی ارزیابیشده بهتر کرد، میانگین نرخ حل را از ۶۹٫۲ به ۷۲٫۹ درصد رساند و با MiniMax M2.5 به ۷۹٫۸ درصد رسید. - با همان مدل، نرخ حل را روی SWE-Bench Pro از ۴۸٫۳ به ۵۱٫۷ و روی FEA-Bench Lite از ۴۱٫۰ به ۴۳٫۵ درصد رساند.
- در ارزیابی انسانی روی ۱۰۰ تسک، بازیابی مبتنی بر گراف میانگین کارتهای مفید را از ۱٫۲۴ به ۲٫۸۷ نسبت به بازیابی معنایی تخت رساند.
محدودیتها
نویسندهها میگویند تقطیر با مدل زبانی ممکن است کانتکست را حذف یا نادرستی وارد کند، ارزیابی انسانی سودمندی را میسنجد نه دقت واقعی، دو ارزیاب داخلی ممکن است سوگیری داشته باشند و بنچمارکهای انتقال فقط با یک مدل ارزیابی شدند.
چرا مهم است
توسعهدهندگان باتجربه پیش از تغییر کد، تاریخچهی آن را میخوانند. این کار همین دانش را به شکل یک حافظهی گرافی در اختیار ایجنتها میگذارد و نشان میدهد رابطهی بین تغییرها ارزش واقعی دارد.