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

PyGemini: Unified Software Development towards Maritime Autonomy Systems

投稿日: 2025年6月9日 作成者: jarxiv

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

カテゴリー: cs.RO, cs.SE, cs.SY, eess.SY, I.2.9 | コメントする

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

投稿日: 2025年6月9日 作成者: jarxiv

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

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

MLOps with Microservices: A Case Study on the Maritime Domain

投稿日: 2025年6月9日 作成者: jarxiv

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

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

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

投稿日: 2025年6月9日 作成者: jarxiv

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

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

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

投稿日: 2025年6月5日 作成者: jarxiv

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

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

LoRACode: LoRA Adapters for Code Embeddings

投稿日: 2025年6月3日 作成者: jarxiv

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

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

Behavioral Safety Assessment towards Large-scale Deployment of Autonomous Vehicles

投稿日: 2025年6月2日 作成者: jarxiv

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

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

Otter: Generating Tests from Issues to Validate SWE Patches

投稿日: 2025年6月2日 作成者: jarxiv

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

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

Structural Abstraction and Selective Refinement for Formal Verification

投稿日: 2025年5月30日 作成者: jarxiv

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

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

Satori-SWE: Evolutionary Test-Time Scaling for Sample-Efficient Software Engineering

投稿日: 2025年5月30日 作成者: jarxiv

要約 言語モデル（LMS）は、標準化されたコーディングベンチマークでうまく機能し … 続きを読む →

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