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

Noise Contrastive Estimation-based Matching Framework for Low-resource Security Attack Pattern Recognition

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

要約 戦術、技術、手順 (TTP) は、サイバーセキュリティ領域における高度な攻 … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.CR, cs.LG | Noise Contrastive Estimation-based Matching Framework for Low-resource Security Attack Pattern Recognition はコメントを受け付けていません

Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint Solving

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

要約 推測と定理の証明は数学的実践の中心となる活動であり、分離するのは困難です。 … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.MS | Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint Solving はコメントを受け付けていません

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

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

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

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

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

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

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

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

カテゴリー: 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

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

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

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

要約 補助情報は大規模言語モデル (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

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

要約 最適化のために進化アルゴリズム (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?

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

要約 大規模言語モデル (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

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

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

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