توسعهدهندگان هوش مصنوعی به تازگی فریمورک جدیدی به نام «SpecCoder» را معرفی کردهاند که تحولی در توانایی استدلال مدلهای زبانی (CodeLLMs) ایجاد میکند.
مشکل اصلی مدلهای فعلی این است که وقتی کد تولید میکنند، «میانبر» میزنند و درک عمیقی از مراحل میانی منطق برنامهنویسی ندارند. SpecCoder با استفاده از «مشخصات فرمال» و اعتبارسنجیِ مرحلهبهمرحله، مثل یک برنامهنویس حرفهای عمل میکند تا کدها نه تنها نوشته شوند، بلکه از نظر منطقی هم دقیق و بدون باگ باشند.
این تحقیق با معرفی بنچمارک جدید HumanExec، راه را برای تولید کدهای فوقالعاده دقیق و قابل اعتماد هموار کرده است.
منبع: arXiv NLP
