مدلهای زبانی بزرگ (LLM) در برنامهریزی برای مسائل پیچیده معمولاً با مشکل مواجه میشوند. اما یک رویکرد جدید به نام «LLM-as-Higher-Order-Formalizer» راهکار تازهای ارائه کرده است.
در این روش، هوش مصنوعی به جای تلاش برای حل مستقیم مسئله، یک «برنامه سطحبالا» ایجاد میکند که منطق تکرارشونده را درک کرده و سپس مدلهای برنامهنویسی (مانند PDDL) را تولید میکند. این کار باعث میشود مدلها در مسائل دشوار و مقیاسپذیر، عملکرد بسیار دقیقتری داشته باشند.
این پیشرفت علمی کمک میکند تا شکاف بین توصیفهای متنی ساده و محاسبات سنگین ریاضی و منطقی پر شود.
منبع: arXiv NLP