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

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

Solving with GeoGebra Discovery an Austrian Mathematics Olympiad problem: Lessons Learned

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

要約 私たちは、GeoGebra Discovery の自動推論ツールを通じて、 … 続きを読む →

カテゴリー: cs.AI, cs.CG, cs.MS, cs.SC | Solving with GeoGebra Discovery an Austrian Mathematics Olympiad problem: Lessons Learned はコメントを受け付けていません

EFO: the Emotion Frame Ontology

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

要約 感情はさまざまな分野で激しい議論の対象となっています。 理論や定義が急増し … 続きを読む →

カテゴリー: cs.AI, cs.CY, cs.SC | EFO: the Emotion Frame Ontology はコメントを受け付けていません

Learning for CasADi: Data-driven Models in Numerical Optimization

投稿日: 2023年12月12日 作成者: jarxiv

要約 現実世界の問題は分析的に分析するのが難しい場合が多いですが、ディープ ラー … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.RO, cs.SC, cs.SY, eess.SY | Learning for CasADi: Data-driven Models in Numerical Optimization はコメントを受け付けていません

Physical Symbolic Optimization

投稿日: 2023年12月7日 作成者: jarxiv

要約 方程式の自動逐次生成を構築によって次元解析の規則に従うように制約するための … 続きを読む →

カテゴリー: astro-ph.IM, cs.LG, cs.SC, physics.comp-ph, physics.data-an | Physical Symbolic Optimization はコメントを受け付けていません