AIの声 Voice Of AGI - Page 155

オートフォーマリゼーションは、非公式と公式の言語のギャップを埋めることができるのでしょうか？MMAと出会ってください：フィールドを革新している多言語および多ドメインのデータセット

コンピュータが自動的にチェック可能な形式で記述された数学的内容は、標準的な数学として言及されます。数学者は、HOL Light、Isabelle、Coq、およびLeanな...

このAI論文は、機械学習パイプライン内のさまざまなタイプの漏えいについて包括的な概要と議論を提供しています

機械学習（ML）は、予測モデリング、意思決定支援、洞察的なデータ解釈を実現することにより、医学、物理学、気象学、気候解析などの分野を大きく変革しまし...

最も困難な部分：分類の目標を定義すること

ターゲット変数は、教師あり機械学習モデルで予測しようとしている変数またはメトリックですこれは、依存変数、応答変数、'y'変数ともよく呼ばれます...

「大型言語モデルを使用して開発するために知っておくべきすべて」

この記事の目的は、簡単な言葉でLLMベースのアプリケーション開発に必要な主要なテクノロジーを説明することですさらなる学習のために多くの有用なリンクも提...

ロコムジョコに会おう：厳格な評価と比較のために設計された新しい機械学習ベンチマーク

Intelligent Autonomous Systems Group、Locomotion Laboratory、German Research Center for AI、Centre for Cognitive Science、およびHessian.AIの研究者...

「表形式データのためのグラフデータサイエンス」

グラフデータサイエンスの手法は通常、いくつかの固有のグラフの性質を持つデータに適用されます例えば、分子構造データ、輸送ネットワークデータなどですし...

エントロピーとジニ指数入門

エントロピーとジニ指数は、特に決定木アルゴリズムにおいて分割の品質を決定するのに役立つ重要な機械学習の概念ですこれらの指標はそれぞれ異なる方法で計...

「シーケンシャルデータのディープラーニング入門」

「タイムシリーズや自然言語などの順次データは、順序と文脈を捉えることができるモデルが必要ですタイムシリーズ分析は、時間的パターンに基づいた予測に焦...

「画像のためのモダンなセマンティック検索」

「数年前の「あの一枚の写真」を見つけたいんですね場面に関するいくつかの具体的な情報を覚えているんですが、Apple Photosでは意味検索ができず、Google Ph...

「Llama2とAmazon SageMakerを使用したLoRAのファインチューニングモデルのモデル管理」

ビッグデータとAIの時代において、企業は競争上の優位性を得るためにこれらの技術を利用する方法を常に探求しています現在、AIの中でも最も注目されている分...