ページを読み込み中…
ページを読み込み中…
44件の記事
Microsoft Research は、多様性モデルが接続性や包含などのトポロジー概念を理解できるかを検証する新ベンチマーク「MindTopo」を発表し、静的画像認識だけでなく計画能力も測定可能であることを示した。
Microsoft Research は、タスクドメインを超えたエージェント学習・評価を可能にする環境サービスを中心としたオープンソースフレームワーク「Orchard」を発表した。
Microsoft Research は、教師なしで推論中の自己経験から知識を蓄積・進化させる手法「EvoLib」を発表し、過去の試行を将来のタスクに活用可能とする技術を示した。
Microsoft Research は、Rust、Aeneas、Lean、および AI エージェントを活用し、生成された暗号アルゴリズム（特にポスト量子暗号）が標準を正しく実装していることを形式検証で証明する手法を発表した。