「cs.MS」カテゴリーアーカイブ

AlphaIntegrator: Transformer Action Search for Symbolic Integration Proofs

投稿日: 2024年10月4日 作成者: jarxiv

要約 我々は、ステップバイステップの数学的統合のための、最初の正解学習ベースのシ … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.MS, cs.SC | コメントする

Efficient $1$-bit tensor approximations

投稿日: 2024年10月3日 作成者: jarxiv

要約 $\{-1, 1\}$ 値のベクトルのテンソル積の線形結合として、行列と任 … 続きを読む →

カテゴリー: cs.LG, cs.MS, cs.NA, math.CO, math.NA | コメントする

A method of using RSVD in residual calculation of LowBit GEMM

投稿日: 2024年9月30日 作成者: jarxiv

要約 近年のハードウェア技術の進歩により、低精度アプリケーションに多くの可能性が … 続きを読む →

カテゴリー: cs.LG, cs.MS | コメントする

Fitting Multilevel Factor Models

投稿日: 2024年9月19日 作成者: jarxiv

要約 マルチレベル低ランク (MLR) 行列~\cite{parshakova2 … 続きを読む →

カテゴリー: 62H12, cs.LG, cs.MS, G.4, stat.CO, stat.ML | Fitting Multilevel Factor Models はコメントを受け付けていません

Compressing Structured Tensor Algebra

投稿日: 2024年7月19日 作成者: jarxiv

要約 テンソル代数は、機械学習や科学技術コンピューティングなどのデータ集約型のワ … 続きを読む →

カテゴリー: cs.LG, cs.MS, cs.PL | Compressing Structured Tensor Algebra はコメントを受け付けていません

FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving

投稿日: 2024年6月24日 作成者: jarxiv

要約 形式検証 (FV) は、進化する大規模言語モデル (LLM) による現在の … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.LG, cs.MS | FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving はコメントを受け付けていません

FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving

投稿日: 2024年6月21日 作成者: jarxiv

要約 形式検証 (FV) は、進化する大規模言語モデル (LLM) による現在の … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.LG, cs.MS | FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving はコメントを受け付けていません

A Fast and Scalable Pathwise-Solver for Group Lasso and Elastic Net Penalized Regression via Block-Coordinate Descent

投稿日: 2024年5月15日 作成者: jarxiv

要約 正則化パスに沿った一般化線形モデルのグループ ラッソとグループ弾性ネットを … 続きを読む →

カテゴリー: cs.LG, cs.MS, cs.SE, stat.CO | A Fast and Scalable Pathwise-Solver for Group Lasso and Elastic Net Penalized Regression via Block-Coordinate Descent はコメントを受け付けていません

ATOMMIC: An Advanced Toolbox for Multitask Medical Imaging Consistency to facilitate Artificial Intelligence applications from acquisition to analysis in Magnetic Resonance Imaging

投稿日: 2024年5月1日 作成者: jarxiv

要約 AI は、取得および処理チェーンに沿って MRI に革命をもたらしています … 続きを読む →

カテゴリー: cs.AI, cs.MS, cs.SE, math-ph, math.MP, physics.med-ph | ATOMMIC: An Advanced Toolbox for Multitask Medical Imaging Consistency to facilitate Artificial Intelligence applications from acquisition to analysis in Magnetic Resonance Imaging はコメントを受け付けていません

TTK is Getting MPI-Ready

投稿日: 2024年4月16日 作成者: jarxiv

要約 このシステム ペーパーは、メッセージ パッシング インターフェイス (MP … 続きを読む →

カテゴリー: cs.CG, cs.CV, cs.DC, cs.LG, cs.MS | TTK is Getting MPI-Ready はコメントを受け付けていません