cs.AI

ENSEMBITS: an alphabet of protein conformational ensembles

تقدم هذه الورقة Ensembits، وهو أول مُجزئ (tokenizer) صُمم لتمثيل المجموعات التشكيلية للبروتينات، والذي يتفوق على المُجزئات الحالية للهياكل الساكنة في التنبؤ بحركة البقايا والخصائص الوظيفية، مع تمكين نمذجة لغة البروتين المدركة للديناميكيات من خلال هدف تقطير إطاري مبتكر.

Di-BiLPS: Denoising induced Bidirectional Latent-PDE-Solver under Sparse Observations

تقدم الورقة البحثية Di-BiLPS، وهو إطار عصبي موحد يستفيد من المشفرات التلقائية التباينية، والانتشار الكامن، والتعلم التبايني لحل مشكلات المعادلات التفاضلية الجزئية الأمامية والعكسية بدقة وكفاءة تضاهي أحدث التقنيات في ظل ملاحظات نادرة للغاية (تصل إلى 3% فقط) مع تمكين الدقة الفائقة من نوع "الصفر" (zero-shot super-resolution).

Improving Reproducibility in Evaluation through Multi-Level Annotator Modeling

تتناول هذه الورقة أزمة قابلية التكرار في تقييم الذكاء الاصطناٍ التوليدي من خلال تقديم نهج تمهيد (bootstrapping) متعدد المستويات يستفيد من مجموعات بيانات واسعة النطاق ذات معرفات مقيمين ثابتة لنمذجة تباين المقيّمين وتحديد التوازن الأمثل بين عدد العناصر وعدد الاستجابات لكل عنصر المطلوب لتحقيق الدلالة الإحصائية.

Neurosymbolic Auditing of Natural-Language Software Requirements

تقدم هذه الورقة VERIMED، وهو مسار عمل عصبي رمزي يستفيد من النماذج اللغوية الكبيرة وحلال مشكلات التشكيل السات (SMT) لتدقيق متطلبات البرمجيات ذات اللغة الطبيعية من خلال اكتشاف الغموض عبر تنويعات الصياغة العشوائية والتحقق من الاتساق والسلامة عبر الإصلاح الموجه بالنماذج المضادة، محققاً طفرة كبيرة في دقة متطلبات سلامة الأجهزة الطبية.

Harnessing Agentic Evolution

تقدم الورقة البحثية AEvo، وهو إطار عمل للتحرير الميتافيزيقي (meta-editing) يعامل التطور الوكيل (agentic evolution) كبيئة تفاعلية حيث يقوم وكيل ميتا بتحرير إجراء التطور نفسه بناءً على السياق المتراكم، مما يوحد النهج الصارمة والمرنة لتحقيق أداء رائد في مهام البحث والتحسين طويلة الأمد.

History Anchors: How Prior Behavior Steers LLM Decisions Toward Unsafe Actions

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

Quantifying Sensitivity for Tree Ensembles: A symbolic and compositional approach

تقدم هذه الورقة البحثية XCount، وهو خوارزمية رمزية وتكوينية مبتكرة تقيس حساسية مجموعات أشجار القرار بكفاءة من خلال تقسيم فضاء المدخلات إلى فئات وتشفير المشكلة باستخدام مخططات القرار الجبرية، مما يحقق تسريعاً كبيراً وقابلية للتوسع مقارنة بنهج عدّ النماذج الحالية.

Topology-Preserving Neural Operator Learning via Hodge Decomposition

WARDEN: Endangered Indigenous Language Transcription and Translation with 6 Hours of Training Data

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

A Counterfactual Cause in Situation Calculus

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