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

Automated Generation of Code Debugging Exercises

要約 デバッグはプログラミングを学習する際に不可欠なスキルですが、その指導と重点 … 続きを読む

カテゴリー: cs.AI, cs.SE | Automated Generation of Code Debugging Exercises はコメントを受け付けていません

ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics

要約 ロボット アプリケーションの正式な検証には、そのハイブリッドな性質と分散ア … 続きを読む

カテゴリー: cs.AI, cs.RO, cs.SE | ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics はコメントを受け付けていません

RV4Chatbot: Are Chatbots Allowed to Dream of Electric Sheep?

要約 チャットボットは、安全性が重要な考慮事項を含むさまざまなアプリケーション … 続きを読む

カテゴリー: cs.AI, cs.HC, cs.SE | RV4Chatbot: Are Chatbots Allowed to Dream of Electric Sheep? はコメントを受け付けていません

Breaking the Cycle of Recurring Failures: Applying Generative AI to Root Cause Analysis in Legacy Banking Systems

要約 従来の銀行は、主にレガシー システムの制約と所有権の断片化により、デジタル … 続きを読む

カテゴリー: cs.CL, cs.SE | Breaking the Cycle of Recurring Failures: Applying Generative AI to Root Cause Analysis in Legacy Banking Systems はコメントを受け付けていません

Neuron Patching: Semantic-based Neuron-level Language Model Repair for Code Generation

要約 言語モデル (LM) は、ソフトウェア エンジニアリング、特にコード生成な … 続きを読む

カテゴリー: cs.CL, cs.LG, cs.SE | Neuron Patching: Semantic-based Neuron-level Language Model Repair for Code Generation はコメントを受け付けていません

Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software

要約 この論文では、LLM によるコード生成を形式的検証と組み合わせて、重要な組 … 続きを読む

カテゴリー: cs.AI, cs.SE | Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software はコメントを受け付けていません

Dividable Configuration Performance Learning

要約 機械/深層学習モデルは、ソフトウェア システムの構成パフォーマンスを予測す … 続きを読む

カテゴリー: cs.AI, cs.SE | Dividable Configuration Performance Learning はコメントを受け付けていません

Are Large Language Models Memorizing Bug Benchmarks?

要約 大規模言語モデル (LLM) は、コード生成、バグ検出、修復などのさまざま … 続きを読む

カテゴリー: cs.AI, cs.LG, cs.SE | Are Large Language Models Memorizing Bug Benchmarks? はコメントを受け付けていません

SpecTool: A Benchmark for Characterizing Errors in Tool-Use LLMs

要約 大規模言語モデル (LLM) の出力を評価することは、パフォーマンスの高い … 続きを読む

カテゴリー: cs.AI, cs.SE | SpecTool: A Benchmark for Characterizing Errors in Tool-Use LLMs はコメントを受け付けていません

A Layered Architecture for Developing and Enhancing Capabilities in Large Language Model-based Software Systems

要約 大規模言語モデル (LLM) の使用を基本的な言語タスクを超えて拡大するた … 続きを読む

カテゴリー: cs.AI, cs.CL, cs.MA, cs.SE | A Layered Architecture for Developing and Enhancing Capabilities in Large Language Model-based Software Systems はコメントを受け付けていません