الأبحاث في مجلة: Proceedings 2025 Network and Distributed System Security Symposium
-
PropertyGPT: التحقق الرسمي المدفوع بواسطة LLM للعقود الذكية من خلال توليد الخصائص المعزز بالاسترجاع
PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation2025 | المؤلف: Ye Liu وآخرون | المجلة: Proceedings 2025 Network and Distributed System Security Symposium | المجال: نظم المعلومات (Information Systems)في هذه الورقة، قدم المؤلفون طريقة جديدة لتوليد الخصائص المعززة بالاسترجاع في العقود الذكية، مستفيدين من قدرات التعلم في السياق لنماذج اللغة الكبيرة (LLMs). تم تنفيذ هذه الطريقة في أداة تسمى PropertyGPT، التي تعالج التحديات الرئيسية لضمان أن الخصائص المولدة قابلة للتجميع، مناسبة، وقابلة للتحقق في وقت التشغيل. أظهرت تقييمات PropertyGPT فعاليتها في تحديد العديد…
