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

How Mature is Requirements Engineering for AI-based Systems? A Systematic Mapping Study on Practices, Challenges, and Future Research Directions

投稿日: 2024年9月12日 作成者: jarxiv

要約 人工知能 (AI) は生活のあらゆる分野に浸透しており、その結果、人工知能 … 続きを読む →

カテゴリー: cs.AI, cs.SE | How Mature is Requirements Engineering for AI-based Systems? A Systematic Mapping Study on Practices, Challenges, and Future Research Directions はコメントを受け付けていません

SUPER: Evaluating Agents on Setting Up and Executing Tasks from Research Repositories

投稿日: 2024年9月12日 作成者: jarxiv

要約 大規模言語モデル (LLM) がコードの記述において大幅に進歩したことを考 … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.SE | SUPER: Evaluating Agents on Setting Up and Executing Tasks from Research Repositories はコメントを受け付けていません

Joint Embeddings for Graph Instruction Tuning

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

要約 Large Language Model (LLM) は、テキスト理解にお … 続きを読む →

カテゴリー: cs.CL, cs.SE | Joint Embeddings for Graph Instruction Tuning はコメントを受け付けていません

Exploring the Integration of Large Language Models in Industrial Test Maintenance Processes

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

要約 ソフトウェア テスト プロセス中に必要なコストと労力の多くは、テスト メン … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.SE | Exploring the Integration of Large Language Models in Industrial Test Maintenance Processes はコメントを受け付けていません

HexaCoder: Secure Code Generation via Oracle-Guided Synthetic Training Data

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

要約 大規模言語モデル (LLM) は、自動コード生成の大きな可能性を示しており … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.CR, cs.LG, cs.SE | HexaCoder: Secure Code Generation via Oracle-Guided Synthetic Training Data はコメントを受け付けていません

An Ontology-based Approach Towards Traceable Behavior Specifications in Automated Driving

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

要約 自動運転システムを搭載した公共交通機関の車両には、さまざまな期待が求められ … 続きを読む →

カテゴリー: cs.AI, cs.SE, cs.SY, eess.SY | An Ontology-based Approach Towards Traceable Behavior Specifications in Automated Driving はコメントを受け付けていません

Explainable AI for Engineering Design: A Unified Approach of Systems Engineering and Component- Based Deep Learning Demonstrated by Energy- Efficient Building Design

投稿日: 2024年9月10日 作成者: jarxiv

要約 機械学習によって作成されたデータ駆動型モデルは、設計とエンジニアリングのあ … 続きを読む →

カテゴリー: cs.LG, cs.SE, cs.SY, eess.SY | Explainable AI for Engineering Design: A Unified Approach of Systems Engineering and Component- Based Deep Learning Demonstrated by Energy- Efficient Building Design はコメントを受け付けていません

QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning

投稿日: 2024年9月10日 作成者: jarxiv

要約 形式検証は、信頼性の高いソフトウェアを作成するための有望な方法ですが、手動 … 続きを読む →

カテゴリー: cs.LG, cs.PL, cs.SE | QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning はコメントを受け付けていません

Bi-Directional Transformers vs. word2vec: Discovering Vulnerabilities in Lifted Compiled Code

投稿日: 2024年9月10日 作成者: jarxiv

要約 コンパイルされたバイナリ内の脆弱性を検出することは、高レベルのコード構造が … 続きを読む →

カテゴリー: cs.CL, cs.CR, cs.LG, cs.SE, I.2.6 | Bi-Directional Transformers vs. word2vec: Discovering Vulnerabilities in Lifted Compiled Code はコメントを受け付けていません

Large Language Models Synergize with Automated Machine Learning

投稿日: 2024年9月10日 作成者: jarxiv

要約 最近、大規模言語モデル (LLM) によるプログラム合成の人気が高まってい … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.PL, cs.SE | Large Language Models Synergize with Automated Machine Learning はコメントを受け付けていません