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

The Impact of Large Language Models on Open-source Innovation: Evidence from GitHub Copilot

要約 大規模な言語モデル(LLM)は、ガイド付き設定での個々の生産性を向上させる … 続きを読む

カテゴリー: cs.AI, cs.SE, D.2.7, econ.GN, q-fin.EC | The Impact of Large Language Models on Open-source Innovation: Evidence from GitHub Copilot はコメントを受け付けていません

PyGemini: Unified Software Development towards Maritime Autonomy Systems

要約 自律型表面容器(ASV)の安全性と証明性を確保するには、広範なシミュレーシ … 続きを読む

カテゴリー: cs.RO, cs.SE, cs.SY, eess.SY, I.2.9 | PyGemini: Unified Software Development towards Maritime Autonomy Systems はコメントを受け付けていません

Reasoning Through Execution: Unifying Process and Outcome Rewards for Code Generation

要約 大規模な言語モデルは、コード生成に優れていますが、洗練された推論を必要とす … 続きを読む

カテゴリー: cs.AI, cs.CL, cs.LG, cs.SE | Reasoning Through Execution: Unifying Process and Outcome Rewards for Code Generation はコメントを受け付けていません

MLOps with Microservices: A Case Study on the Maritime Domain

要約 このケーススタディでは、オーシャンガードの構築に関する課題と教訓について説 … 続きを読む

カテゴリー: cs.AI, cs.LG, cs.SE, D.2.9 | MLOps with Microservices: A Case Study on the Maritime Domain はコメントを受け付けていません

DesignBench: A Comprehensive Benchmark for MLLM-based Front-end Code Generation

要約 マルチモーダル大手言語モデル(MLLMS)は、視覚設計からUIコードを生成 … 続きを読む

カテゴリー: cs.AI, cs.SE | DesignBench: A Comprehensive Benchmark for MLLM-based Front-end Code Generation はコメントを受け付けていません

Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems

要約 安全性が批判的な自動車ソフトウェアの開発は、システムの複雑さと厳格な規制の … 続きを読む

カテゴリー: cs.AI, cs.SE | Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems はコメントを受け付けていません

LoRACode: LoRA Adapters for Code Embeddings

要約 セマンティックコード検索には、コード埋め込みが不可欠です。 ただし、現在の … 続きを読む

カテゴリー: cs.IR, cs.LG, cs.SE | LoRACode: LoRA Adapters for Code Embeddings はコメントを受け付けていません

Behavioral Safety Assessment towards Large-scale Deployment of Autonomous Vehicles

要約 自動運転車(AV)は近年、現実世界の展開において大幅に進歩していますが、安 … 続きを読む

カテゴリー: cs.RO, cs.SE | Behavioral Safety Assessment towards Large-scale Deployment of Autonomous Vehicles はコメントを受け付けていません

Otter: Generating Tests from Issues to Validate SWE Patches

要約 既存のコードからテストを生成することには多くの作業がありましたが、問題から … 続きを読む

カテゴリー: cs.LG, cs.SE | Otter: Generating Tests from Issues to Validate SWE Patches はコメントを受け付けていません

Structural Abstraction and Selective Refinement for Formal Verification

要約 ロボットアプリケーションの安全検証は、ロボットが通常動作する環境の複雑さの … 続きを読む

カテゴリー: cs.RO, cs.SE | Structural Abstraction and Selective Refinement for Formal Verification はコメントを受け付けていません