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

The Enhancement of Software Delivery Performance through Enterprise DevSecOps and Generative Artificial Intelligence in Chinese Technology Firms

投稿日: 2024年11月5日 作成者: jarxiv

要約 この調査では、DevSecOps と生成人工知能 (GAI) の統合がテク … 続きを読む →

カテゴリー: cs.AI, cs.SE | The Enhancement of Software Delivery Performance through Enterprise DevSecOps and Generative Artificial Intelligence in Chinese Technology Firms はコメントを受け付けていません

Evaluating the Ability of Large Language Models to Generate Verifiable Specifications in VeriFast

投稿日: 2024年11月5日 作成者: jarxiv

要約 静的検証はソフトウェアの品質を向上させる強力な方法ですが、多大な人的労力と … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.PL, cs.SE | Evaluating the Ability of Large Language Models to Generate Verifiable Specifications in VeriFast はコメントを受け付けていません

Disrupting Test Development with AI Assistants

投稿日: 2024年11月5日 作成者: jarxiv

要約 GPT-4 とそのバリアント、および GitHub Copilot、Cha … 続きを読む →

カテゴリー: cs.AI, cs.SE | Disrupting Test Development with AI Assistants はコメントを受け付けていません

LucidGrasp: Robotic Framework for Autonomous Manipulation of Laboratory Equipment with Different Degrees of Transparency via 6D Pose Estimation

投稿日: 2024年11月4日 作成者: jarxiv

要約 最新のロボットシステムの多くは自律的に動作するが、環境を正確に分析し、変化 … 続きを読む →

カテゴリー: cs.CV, cs.RO, cs.SE, cs.SY, eess.SY | LucidGrasp: Robotic Framework for Autonomous Manipulation of Laboratory Equipment with Different Degrees of Transparency via 6D Pose Estimation はコメントを受け付けていません

StatWhy: Formal Verification Tool for Statistical Hypothesis Testing Programs

投稿日: 2024年11月4日 作成者: jarxiv

要約 統計的手法は、様々な科学分野において広く誤用され、誤った解釈をされており、 … 続きを読む →

カテゴリー: cs.AI, cs.SE | StatWhy: Formal Verification Tool for Statistical Hypothesis Testing Programs はコメントを受け付けていません

SelfCodeAlign: Self-Alignment for Code Generation

投稿日: 2024年11月4日 作成者: jarxiv

要約 命令チューニングは、大規模言語モデル（LLM）が人間の命令に従う能力を大幅 … 続きを読む →

カテゴリー: cs.CL, cs.LG, cs.SE | SelfCodeAlign: Self-Alignment for Code Generation はコメントを受け付けていません

Repository-Level Compositional Code Translation and Validation

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

要約 コード変換は、プログラムをあるプログラミング言語 (PL) から別のプログ … 続きを読む →

カテゴリー: cs.LG, cs.SE | Repository-Level Compositional Code Translation and Validation はコメントを受け付けていません

SelfCodeAlign: Self-Alignment for Code Generation

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

要約 命令チューニングは、大規模言語モデル (LLM) が人間の命令に従う能力を … 続きを読む →

カテゴリー: cs.CL, cs.LG, cs.SE | SelfCodeAlign: Self-Alignment for Code Generation はコメントを受け付けていません

SOEN-101: Code Generation by Emulating Software Process Models Using Large Language Model Agents

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

要約 ソフトウェア プロセス モデルは、複雑な開発タスクを解決するためにソフトウ … 続きを読む →

カテゴリー: cs.AI, cs.SE | SOEN-101: Code Generation by Emulating Software Process Models Using Large Language Model Agents はコメントを受け付けていません

Leveraging Large Language Models for Code Translation and Software Development in Scientific Computing

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

要約 基礎モデルと生成人工知能 (GenAI) の出現により、科学技術コンピュー … 続きを読む →

カテゴリー: cs.AI, cs.SE | Leveraging Large Language Models for Code Translation and Software Development in Scientific Computing はコメントを受け付けていません