Computationaltoken

تحليل شامل لأنظمة البلوكتشين من منظور معالجة البيانات، يغطي تقنيات السجلات الموزعة، بروتوكولات الإجماع، العقود الذكية، ومعايير الأداء باستخدام إطار BLOCKBENCH.

تحليل بحثي للرموز غير المكتملة في مقسمات الرموز من نوع BPE على مستوى البايت وحساسيتها للبيغرامات غير المحتملة المسببة لسلوكيات الهلوسة في النماذج اللغوية الكبيرة.

استخدام معالجة اللغة الطبيعية والتعلم الآلي في التحليل الكمي لكلمات أغاني الفلامنكو لتحقيق التصنيف النوعي، وتحديد المجالات الدلالية، واستكشاف الروابط التاريخية من خلال الأنماط المعجمية.

وثائق وموارد تقنية شاملة حول تقنية وتطبيقات computationaltoken.

طريقة جديدة لتقليص الرموز في محولات الرؤية تجمع بين أهمية الرموز وتنوعها لتقليل التعقيد الحسابي مع الحفاظ على الدقة.

تحليل خوارزمية جديدة زمنية خطية لتجزئة WordPiece، تعمل على تحسين كفاءة نماذج معالجة اللغة الطبيعية مثل BERT. يتضمن تفاصيل تقنية ونتائج وتطبيقات مستقبلية.

تحليل لـ FNet، وهو نوع من المحوّلات يستبدل آلية الانتباه الذاتي بتحويلات فورييه لتدريب واستدلال أسرع، مع الحفاظ على دقة تنافسية في معايير معالجة اللغات الطبيعية.

DafnyBench هو أكبر معيار لتدريب وتقييم أنظمة التعلم الآلي للتحقق الرسمي من البرمجيات، ويضم 750+ برنامجًا مع 53,000+ سطر من التعليمات البرمجية.

تحليل شامل باستخدام الأساليب الرسمية لبروتوكول قسيمة الإذن للمصادقة الحافظة للخصوصية في المدن الذكية باستخدام أداة Tamarin Prover وأدوات التحقق الأخرى.

لامب هو محلل معجمي يولد رسومًا بيانية للتحليل المعجمي لمعالجة الغموض المعجمي في مواصفات اللغات، مما يتيح التحليل الحساس للسياق من خلال التعاون مع المحلل النحوي.

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