cs.SE」カテゴリーアーカイブ

Capability-Driven Skill Generation with LLMs: A RAG-Based Approach for Reusing Existing Libraries and Interfaces

要約 最新の自動化システムは、1つのソリューションとしての機能とスキルをアプロー … 続きを読む

カテゴリー: cs.AI, cs.RO, cs.SE | コメントする

On the Need for a Statistical Foundation in Scenario-Based Testing of Autonomous Vehicles

要約 シナリオベースのテストは、自動運転車(AVS)の安全性の一般的な方法として … 続きを読む

カテゴリー: cs.AI, cs.RO, cs.SE | コメントする

Document Retrieval Augmented Fine-Tuning (DRAFT) for safety-critical software assessments

要約 セーフティクリティカルソフトウェアの評価には、複雑な規制フレームワークに対 … 続きを読む

カテゴリー: cs.AI, cs.SE | Document Retrieval Augmented Fine-Tuning (DRAFT) for safety-critical software assessments はコメントを受け付けていません

CodeFlowBench: A Multi-turn, Iterative Benchmark for Complex Code Generation

要約 Real World Developmentは、実装をモジュラーコンポーネ … 続きを読む

カテゴリー: cs.CL, cs.SE | CodeFlowBench: A Multi-turn, Iterative Benchmark for Complex Code Generation はコメントを受け付けていません

InvAASTCluster: On Applying Invariant-Based Program Clustering to Introductory Programming Assignments

要約 プログラミングコースに登録されている学生の数が多いため、導入プログラミング … 続きを読む

カテゴリー: cs.AI, cs.CY, cs.PL, cs.SE | InvAASTCluster: On Applying Invariant-Based Program Clustering to Introductory Programming Assignments はコメントを受け付けていません

SWE-smith: Scaling Data for Software Engineering Agents

要約 ソフトウェアエンジニアリングの言語モデル(LMS)の最近の進歩にもかかわら … 続きを読む

カテゴリー: cs.AI, cs.CL, cs.SE | SWE-smith: Scaling Data for Software Engineering Agents はコメントを受け付けていません

Identifying Uncertainty in Self-Adaptive Robotics with Large Language Models

要約 将来の自己適応ロボットは、不確実性を効果的に管理しながら、非常に動的な環境 … 続きを読む

カテゴリー: cs.RO, cs.SE | Identifying Uncertainty in Self-Adaptive Robotics with Large Language Models はコメントを受け付けていません

Hallucination by Code Generation LLMs: Taxonomy, Benchmarks, Mitigation, and Challenges

要約 大規模な言語モデル(LLM)の最近の技術的ブレークスルーにより、ソースコー … 続きを読む

カテゴリー: cs.AI, cs.SE | Hallucination by Code Generation LLMs: Taxonomy, Benchmarks, Mitigation, and Challenges はコメントを受け付けていません

LocAgent: Graph-Guided LLM Agents for Code Localization

要約 コードのローカリゼーション – コードベースの変更を行う必要が … 続きを読む

カテゴリー: cs.AI, cs.CL, cs.SE | LocAgent: Graph-Guided LLM Agents for Code Localization はコメントを受け付けていません

OSVBench: Benchmarking LLMs on Specification Generation Tasks for Operating System Verification

要約 オペレーティングシステムのカーネル検証タスクに関連する完全な仕様コードを生 … 続きを読む

カテゴリー: cs.AI, cs.CL, cs.OS, cs.PL, cs.SE | OSVBench: Benchmarking LLMs on Specification Generation Tasks for Operating System Verification はコメントを受け付けていません