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

Constrained Neural Networks for Interpretable Heuristic Creation to Optimise Computer Algebra Systems

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

要約 記号計算研究において機械学習技術を利用するための新しい方法論を紹介します。 … 続きを読む →

カテゴリー: 03C10, 68T05, 68W30, cs.LG, cs.SC, I.2.6 | Constrained Neural Networks for Interpretable Heuristic Creation to Optimise Computer Algebra Systems はコメントを受け付けていません

Study of Emotion Concept Formation by Integrating Vision, Physiology, and Word Information using Multilayered Multimodal Latent Dirichlet Allocation

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

要約 感情はどのように形成されるのでしょうか？ 広範な議論と多様な理論の普及を通 … 続きを読む →

カテゴリー: cs.AI, cs.HC, cs.LG, cs.RO, cs.SC | Study of Emotion Concept Formation by Integrating Vision, Physiology, and Word Information using Multilayered Multimodal Latent Dirichlet Allocation はコメントを受け付けていません

Complexity of Probabilistic Reasoning for Neurosymbolic Classification Techniques

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

要約 ニューロシンボリック人工知能は、ニューラル ネットワークの学習機能と記号シ … 続きを読む →

カテゴリー: cs.AI, cs.CC, cs.LG, cs.SC | Complexity of Probabilistic Reasoning for Neurosymbolic Classification Techniques はコメントを受け付けていません

Hierarchical NeuroSymbolic Approach for Action Quality Assessment

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

要約 アクション品質評価 (AQA) は、コンピューター ビジョンを応用して人間 … 続きを読む →

カテゴリー: cs.AI, cs.CV, cs.LG, cs.SC | Hierarchical NeuroSymbolic Approach for Action Quality Assessment はコメントを受け付けていません

Cognitive Architectures for Language Agents

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

要約 最近の取り組みでは、グラウンディングや推論を必要とするタスクのために、外部 … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.LG, cs.SC | Cognitive Architectures for Language Agents はコメントを受け付けていません

SMLP: Symbolic Machine Learning Prover

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

要約 記号的機械学習プローバ(SMLP)は、多数の入力ベクトルに対するシステムの … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO, cs.SC, math.OC | SMLP: Symbolic Machine Learning Prover はコメントを受け付けていません

SymbolicAI: A framework for logic-based approaches combining generative models and solvers

投稿日: 2024年2月2日 作成者: jarxiv

要約 生成プロセスにおける概念学習とフロー管理にロジックベースのアプローチを採用 … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.SC, cs.SE | SymbolicAI: A framework for logic-based approaches combining generative models and solvers はコメントを受け付けていません

Symbolic Equation Solving via Reinforcement Learning

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

要約 機械学習手法は、社会、経済、科学のさまざまな状況で徐々に採用されていますが … 続きを読む →

カテゴリー: cs.LG, cs.MS, cs.SC | Symbolic Equation Solving via Reinforcement Learning はコメントを受け付けていません

The Locus Story of a Rocking Camel in a Medical Center in the City of Freistadt

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

要約 無料ソフトウェア パッケージ GeoGebra Discovery を使用 … 続きを読む →

カテゴリー: cs.CG, cs.MS, cs.RO, cs.SC | The Locus Story of a Rocking Camel in a Medical Center in the City of Freistadt はコメントを受け付けていません

Showing Proofs, Assessing Difficulty with GeoGebra Discovery

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

要約 私たちの寄稿では、GeoGebra Discovery で開発された自動推 … 続きを読む →

カテゴリー: cs.AI, cs.CG, cs.MS, cs.SC | Showing Proofs, Assessing Difficulty with GeoGebra Discovery はコメントを受け付けていません