-
#1區塊鏈解構:從數據處理角度剖析區塊鏈系統從數據處理角度全面分析區塊鏈系統,涵蓋分散式賬本技術、共識協議、智能合約,以及使用BLOCKBENCH框架進行性能基準測試。
-
#2唔可能雙字組:字節級BPE分詞器嘅漏洞研究分析字節級BPE分詞器中嘅唔完整詞元,同佢哋對唔可能雙字組嘅脆弱性,導致LLM出現幻覺行為。
-
#3佛蘭明高流派嘅計算詞彙分析:自然語言處理與機器學習方法運用NLP與機器學習對佛蘭明歌歌詞進行量化分析,實現流派分類、語義場識別,並透過詞彙模式探索歷史關聯。
-
#4computationaltoken - 技術文件及資源關於 computationaltoken 技術及應用的全面技術文件與資源。
-
#5超越注意力令牌:基於令牌重要性同多樣性嘅高效視覺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