Computationaltoken

تحلیل جامع سیستم‌های بلاک‌چین از منظر پردازش داده، شامل فناوری‌های دفترکل توزیع‌شده، پروتکل‌های اجماع، قراردادهای هوشمند و ارزیابی عملکرد با چارچوب BLOCKBENCH

تحلیل پژوهشی توکن‌های ناقص در توکن‌سازهای BPE سطح بایت و آسیب‌پذیری آن‌ها در برابر بی‌گرام‌های نامحتمل که موجب رفتارهای توهم‌زا در مدل‌های زبانی بزرگ می‌شوند.

تجزیه و تحلیل کمی اشعار فلامنکو با استفاده از NLP و یادگیری ماشین برای دستیابی به طبقه‌بندی سبک، شناسایی میدان‌های معنایی و کاوش ارتباطات تاریخی از طریق الگوهای واژگانی.

مستندات و منابع فنی جامع در مورد فناوری و کاربردهای computationaltoken.

یک روش نوین هرس توکن برای ترانسفورمرهای بینایی که اهمیت و تنوع توکن را به‌طور همزمان برای کاهش پیچیدگی محاسباتی در حین حفظ دقت در نظر می‌گیرد.

تحلیل یک الگوریتم خطی‌زمان جدید برای توکن‌سازی WordPiece که کارایی مدل‌های NLP مانند BERT را بهبود می‌بخشد. شامل جزئیات فنی، نتایج و کاربردهای آتی.

تحلیل FNet، یک گونه ترنسفورمر که خودتوجه‌ای را با تبدیل‌های فوریه جایگزین می‌کند تا آموزش و استنتاج سریع‌تری داشته باشد و در عین حال دقت رقابتی در معیارهای NLP حفظ شود.

DafnyBench بزرگترین معیار سنجش برای آموزش و ارزیابی سیستم‌های یادگیری ماشین در تأیید رسمی نرم‌افزار است که شامل ۷۵۰+ برنامه با ۵۳,۰۰۰+ خط کد می‌شود.

تحلیل صوری جامع پروتکل ووچر مجوز برای احراز هویت محافظت‌شده از حریم خصوصی در شهرهای هوشمند با استفاده از Tamarin Prover و سایر ابزارهای تأیید.

لامب یک تحلیلگر لغوی است که با تولید گراف‌های تحلیل لغوی، ابهامات لغوی در مشخصات زبان را مدیریت کرده و امکان تحلیل حساس به بافت را از طریق همکاری با تجزیه‌گر فراهم می‌کند.

تحلیل جامع اعتبارسنجی برنامه‌های MPI با استفاده از مدل‌های ریاضی، با کاربرد در الگوریتم‌های ضرب ماتریس و مقایسه با روش‌های موجود اعتبارسنجی