LAD-VF: LLM-Automatic Differentiation Enables Fine-Tuning-Free Robot Planning from Formal Methods Feedback
إن LAD-VF هو إطار عمل لا يتطلب ضبطاً دقيقاً، حيث يستفيد من التغذية الراجعة للتحقق الرسمي وLLM-AutoDiff لتحسين المطالبات بشكل تكراري، مما يتيح تخطيطاً روبوتياً قابلاً للتوسع وقابلاً للتفسير يحسن الامتثال للسلامة بشكل كبير دون تعديل معلمات النموذج.