-
#1區塊鏈解析：從資料處理視角剖析區塊鏈系統從資料處理角度全面分析區塊鏈系統，涵蓋分散式帳本技術、共識協議、智能合約及使用BLOCKBENCH框架的效能評測
-
#2不可能雙連詞：位元組級BPE分詞器的潛在漏洞針對位元組級BPE分詞器中不完整詞元的研究分析，及其因不可能雙連詞導致大型語言模型產生幻覺行為的脆弱性。
-
#3佛朗明哥流派的計算詞彙分析：自然語言處理與機器學習方法運用NLP與機器學習對佛朗明哥歌詞進行量化分析，實現流派分類、語義場識別，並透過詞彙模式探索歷史關聯。
-
#4computationaltoken - 技術文件與資源關於 computationaltoken 技術與應用的全面技術文件與資源。
-
#5超越注意力標記：基於標記重要性與多樣性的高效視覺Transformer提出新穎的視覺Transformer標記修剪方法，同時考量標記重要性與多樣性，在維持準確度的同時降低計算複雜度。
-
#6快速 WordPiece 分詞：適用於 BERT 及後續模型的線性時間演算法分析一種新穎的 WordPiece 分詞線性時間演算法，提升如 BERT 等 NLP 模型的效率。包含技術細節、結果與未來應用。
-
#7FNet：在Transformer編碼器中使用傅立葉轉換混合詞元分析FNet，一種以傅立葉轉換取代自注意力機制的Transformer變體，能在NLP基準測試中保持競爭力準確度的同時，實現更快的訓練與推論速度。
-
#8DafnyBench：形式化軟體驗證基準測試套件DafnyBench是形式化軟體驗證領域最大的機器學習系統訓練與評估基準，包含750多個程式與53,000多行程式碼。
-
#9權限憑證協議的形式化驗證：安全性分析與實作使用Tamarin Prover等驗證工具，對智慧城市隱私保護認證之權限憑證協議進行全面形式化分析。
-
#10Lamb：支援語彙歧義的上下文相關語言處理Lamb 是一款能生成語彙分析圖的語彙分析器，可處理語言規格中的語彙歧義，透過與剖析器協作實現上下文相關分析。
-
#11MPI程式驗證：平行計算的數學模型運用數學模型進行MPI程式驗證的全面分析，以矩陣乘法演算法為應用實例，並與現有驗證方法進行比較。
最後更新: 2025-12-13 10:36:06