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

A tutorial on automatic differentiation with complex numbers

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

要約 自動微分はどこにでもありますが、’$\mathbb{C}^d$ … 続きを読む →

カテゴリー: cs.LG, cs.MS, cs.NA, math.NA | A tutorial on automatic differentiation with complex numbers はコメントを受け付けていません

LibMOON: A Gradient-based MultiObjective OptimizatioN Library in PyTorch

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

要約 多目的最適化問題 (MOP) は、機械学習で一般的であり、マルチタスク学習 … 続きを読む →

カテゴリー: cs.LG, cs.MS, math.OC | LibMOON: A Gradient-based MultiObjective OptimizatioN Library in PyTorch はコメントを受け付けていません

AlphaIntegrator: Transformer Action Search for Symbolic Integration Proofs

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

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

カテゴリー: cs.AI, cs.LG, cs.MS, cs.SC | AlphaIntegrator: Transformer Action Search for Symbolic Integration Proofs はコメントを受け付けていません

Efficient $1$-bit tensor approximations

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

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

カテゴリー: cs.LG, cs.MS, cs.NA, math.CO, math.NA | Efficient $1$-bit tensor approximations はコメントを受け付けていません

A method of using RSVD in residual calculation of LowBit GEMM

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

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

カテゴリー: cs.LG, cs.MS | A method of using RSVD in residual calculation of LowBit GEMM はコメントを受け付けていません

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 はコメントを受け付けていません