月別アーカイブ: 2024年1月

Automation of Triangle Ruler-and-Compass Constructions Using Constraint Solvers

要約 この論文では、有限領域制約ソルバーを使用して三角定規とコンパスの作図問題を … 続きを読む

カテゴリー: cs.AI | Automation of Triangle Ruler-and-Compass Constructions Using Constraint Solvers はコメントを受け付けていません

Considerations on Approaches and Metrics in Automated Theorem Generation/Finding in Geometry

要約 自動推論プログラムが新しく興味深い定理を生成および発見できるようにするため … 続きを読む

カテゴリー: cs.AI, cs.LO, I.2.3 | Considerations on Approaches and Metrics in Automated Theorem Generation/Finding in Geometry はコメントを受け付けていません

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

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

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

Blinded by Generated Contexts: How Language Models Merge Generated and Retrieved Contexts for Open-Domain QA?

要約 補助情報は大規模言語モデル (LLM) を強化するための鍵となっていますが … 続きを読む

カテゴリー: cs.AI, cs.CL | Blinded by Generated Contexts: How Language Models Merge Generated and Retrieved Contexts for Open-Domain QA? はコメントを受け付けていません

Bridging Evolutionary Algorithms and Reinforcement Learning: A Comprehensive Survey

要約 最適化のために進化アルゴリズム (EA) と強化学習 (RL) を統合する … 続きを読む

カテゴリー: cs.AI, cs.LG, cs.NE | Bridging Evolutionary Algorithms and Reinforcement Learning: A Comprehensive Survey はコメントを受け付けていません

Can ChatGPT Play the Role of a Teaching Assistant in an Introductory Programming Course?

要約 大規模言語モデル (LLM) の出現は、教育に大きな影響を与えると予想され … 続きを読む

カテゴリー: cs.AI, cs.HC | Can ChatGPT Play the Role of a Teaching Assistant in an Introductory Programming Course? はコメントを受け付けていません

TWIZ-v2: The Wizard of Multimodal Conversational-Stimulus

要約 このレポートでは、Alexa プライズ タスクボット チャレンジ 2022 … 続きを読む

カテゴリー: cs.AI, cs.CL, I.2.7 | TWIZ-v2: The Wizard of Multimodal Conversational-Stimulus はコメントを受け付けていません

Tensor-view Topological Graph Neural Network

要約 グラフの分類は、グラフ構造データの重要な学習タスクです。 グラフ ニューラ … 続きを読む

カテゴリー: cs.AI, cs.LG | Tensor-view Topological Graph Neural Network はコメントを受け付けていません

Multimodal Visual-Tactile Representation Learning through Self-Supervised Contrastive Pre-Training

要約 急速に進化するロボット工学の分野では、複数のモダリティの融合を促進できる方 … 続きを読む

カテゴリー: cs.AI, cs.LG, cs.RO | Multimodal Visual-Tactile Representation Learning through Self-Supervised Contrastive Pre-Training はコメントを受け付けていません

MINT: A wrapper to make multi-modal and multi-image AI models interactive

要約 診断プロセス中に、医師は画像や病歴などのマルチモーダルな情報を組み込みます … 続きを読む

カテゴリー: cs.AI, cs.HC | MINT: A wrapper to make multi-modal and multi-image AI models interactive はコメントを受け付けていません