قاموس الذكاء الاصطناعي
القاموس الكامل للذكاء الاصطناعي
التوليف التلقائي للبرامج القائم على القيود
نهج يستخدم القيود المنطقية وحلالات SAT/SMT لتوليد برامج تلقائيًا تلبي المواصفات.
البحث عن بنية الشبكات العصبية بالتعزيز
استخدام وكلاء التعلم بالتعزيز لاستكشاف فضاء بنيات الشبكات العصبية وإيجاد التكوينات المثلى.
البحث عن بنية الشبكات العصبية التطوري
تطبيق الخوارزميات الوراثية والتطورية لتطوير وتحسين بنى الشبكات العصبية.
التوليف الاستقرائي للبرامج
التوليد التلقائي للبرامج من أمثلة المدخلات والمخرجات بدون مواصفات صريحة.
البحث عن بنية الشبكة العصبية القائمة على التدرجات
تحسين متمايز لمعماريات الشبكات من خلال استرخاء مساحة البحث المستمر للسماح بانحدار التدرج.
التركيب الاستنتاجي للبرامج
توليد البرامج عن طريق الاستدلال المنطقي الرسمي من المواصفات الرياضية والشروط المسبقة/اللاحقة
البحث عن البنية العصبية بلمحة واحدة
طرق فعالة تقوم بتدريب شبكة عظمى فريدة تسمح بالتقييم السريع لهياكل متعددة بدون إعادة تدريب.
توليد البرامج الاحتمالية
توليد البرامج من خلال نمذجة عدم اليقين واستخدام طرق احتمالية لاستكشاف مساحة البحث.
البحث عن بنية الشبكات الكمومية
تحسين متخصص لبنيات الشبكات العصبية الكمومية المصممة خصيصًا لقيود الحوسبة الكمومية.
توليف البرامج بالتحويل
توليد البرامج من خلال التطبيق المنهجي لقواعد التحويل على البرامج الموجودة أو هياكل الشفرة.
البحث عن الهيكل العصبي متعدد الأهداف
التحسين المتزامن لعدة مقاييس مثل الدقة، وزمن الاستجابة، واستهلاك الطاقة، وحجم النموذج.
تخليق البرامج بواسطة التعلم الآلي
استخدام نماذج التعلم العميق مثل المحولات لتوليد الكود مباشرة من الأوصاف باللغة الطبيعية