23200 ورقة بحثية
تقترح هذه الورقة البحثية شبكة BDIP-Net، وهي إطار عمل للتعلم الآلي يجمع بين سير عمل تحسين هيكلي من نوع MatterSim-D3 منخفض التكلفة وشبكة عصبية رسومية ذات تفاعل ثنائي لإنشاء هياكل ثنائية الطبقات بجودة نظرية الكثافة الوظيفية (DFT) بكفاءة، والتنبؤ بخصائصها بدقة من خلال نمذجة التفاعلات داخل الطبقة وبين الطبقات بشكل صريح.
تقدم هذه الورقة بروتوكول تقييم هجين ذو واجهة مشتركة لمقارنة أربعة من موجهات النماذج مفتوحة المصدر عبر أربعة معايير مرجعية، كاشفةً أن مكاسب أدائها مدفوعة بشكل أساسي بتكوين الطبقات المختارة بدلاً من الاستهداف الخاص بالمهام، مما يرسخ وضع خطوط أساس ثابتة الطبقات كضوابط ضرورية لتقييمات الموجهات المستقبلية.
تُثبت هذه الورقة أن تطبيق تقليل الأبعاد، والكمية، وتقليم الأبعاد قبل التجميع يسمح بفهرسة تضمينات المتجهات برموز مكونة من بت واحد، مما يحقق جودة بحث قريبة من المثالية مع تقليل متطلبات التخزين بمقدار 60 ضعفاً وتسريع وقت التجميع مقارنة بطرق الدقة الكاملة.
تقدم الورقة البحثية pico-type، وهو مصنف متعدد الرؤوس على مستوى البايت خفيف الوزن بـ 1.5 مليون معلمة، يتنبأ في آن واحد بسبعة خصائص للمحتوى (بما في ذلك اللغة، ونوع MIME، وعلامات المخاطر) من بايتات UTF-8 الخام في أقل من 10 مللي ثانية دون الحاجة إلى عملية التجزئة (tokenization)، محققاً تحسينات كبيرة في الدقة مقارنة بالنماذج الاصطناعية المرجعية على مجموعات بيانات واقعية.
تُظهر هذه الدراسة التجريبية أنه في حين أن قيمة متعددة العينات ترتبط بشكل أفضل بصحة الكود، فإن طرق التصحيح الذاتي القائمة على عدم اليقين تفشل عموماً في تحسين الدقة وتؤدي غالباً إلى تدهور الأداء، بينما تظل إعادة التوليد القائمة على التحقق هي الاستراتيجية الوحيدة الموثوقة لتعزيز توليد الكود.
تقدم هذه الدراسة نموذج "المحول المكاني" القائم على الحلقات، والذي يثبت أن تدفق المشاة حول محطات السكك الحديدية في طوكيو مدفوع بتفاعلات غير خطية عبر منطقة النطاق الكامل البالغة 800 متر بدلاً من التنمية المجاورة، مما يتحدى افتراضات المدينة المدمجة التقليدية ويتفوق على الانحدار الموزون جغرافياً في دقة التنبؤ.
تجادل هذه الورقة بأن وكلاء الذكاء الاصطناعي في الاكتشاف العلمي يجب دراستهم كأنظمة بشرية-آلية متكاملة بدلاً من كيانات مستقلة، مؤكدة أن هذا المنظور التعاوني ضروري للتخفيف من المخاطر مثل انخفاض تنوع الاستقصاء ولتعزيز التآزر الفعال بين الإنسان والذكاء الاصطناعي.
تقدم الورقة البحثية BRA-Audit، وهو إطار عمل للتدقيق في وقت التشغيل يراعي الميزانية، يعمل على تحسين وضع نقاط التدقيق ضمن أنظمة الوكلاء المتعددين للنماذج اللغوية الكبيرة لتقليل التعرض التراكمي غير المفحوص، مما يؤدي إلى تقليل تكاليف الرموز (tokens) بشكل كبير مع الحفاظ على الأداء العالي وتحديد مواقع الفشل بفعالية.
تقدم هذه الورقة AViD Journal، وهو مسار عمل قائم على Lean 4 يعمل على أتمتة التحقق من الجدة الرياضية عبر تقييم العبارات الصورية مقابل المتون والهياكل البرهانية القائمة، مع تسليط الضوء على القيود الحرجة المتعلقة بالدقة الدلالية، وتغطية الفهرس، وتحديات إعادة الإنتاج الناجمة عن مسودات arXiv المسحوبة.
تقدم الورقة البحثية Argus، وهو نظام سلبي لتحديد هوية الأشخاص عبر تقنية Wi-Fi يتميز بقابلية التوسع ويحقق دقة عالية في مجموعات البيانات واسعة النطاق من خلال تحويل معلومات حالة القناة (CSI) إلى خرائط إحصائية مدمجة ("statgrams") تتم معالجتها بواسطة بنية Transformer فعالة وموجهة بالانتباه، مما يقلل التكاليف الحسابية بشكل كبير مقارنة بالنماذج المرجعية التي تعتمد على بيانات CSI الخام.