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

Proceedings 11th International Workshop on Theorem Proving Components for Educational Software

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

要約 TheEdu シリーズは、中等学校で数学を行う直感的な方法から、STEM … 続きを読む →

カテゴリー: cs.AI, cs.CY, cs.LO, cs.MS | Proceedings 11th International Workshop on Theorem Proving Components for Educational Software はコメントを受け付けていません

Redistributor: Transforming Empirical Data Distributions

投稿日: 2022年10月26日 作成者: jarxiv

要約 スカラー サンプルのコレクションを目的の分布に従うように強制するアルゴリズ … 続きを読む →

カテゴリー: cs.CV, cs.MS | Redistributor: Transforming Empirical Data Distributions はコメントを受け付けていません

NCVX: A General-Purpose Optimization Solver for Constrained Machine and Deep Learning

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

要約 明示的な制約を課すことは比較的新しいが、複雑な摂動セット上でロバストな最適 … 続きを読む →

カテゴリー: cs.CV, cs.LG, cs.MS, eess.SP, math.OC | NCVX: A General-Purpose Optimization Solver for Constrained Machine and Deep Learning はコメントを受け付けていません