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

Examination of Code generated by Large Language Models

要約 ChatGPT や Copilot などの大規模言語モデル (LLM) は … 続きを読む

カテゴリー: cs.AI, cs.SE, I.2.2 | Examination of Code generated by Large Language Models はコメントを受け付けていません

Fast and Modular Autonomy Software for Autonomous Racing Vehicles

要約 自動運転モータースポーツは、ソフトウェアとセンサーを使用して人間のレースカ … 続きを読む

カテゴリー: cs.AI, cs.RO, cs.SE | Fast and Modular Autonomy Software for Autonomous Racing Vehicles はコメントを受け付けていません

Component reusability evaluation and requirement tracing for agent-based cyber-physical-simulated systems

要約 初期の設計コンセプトを評価することは、品質とコストに影響を与えるため非常に … 続きを読む

カテゴリー: cs.AR, cs.MA, cs.RO, cs.SE, cs.SY, eess.SY | Component reusability evaluation and requirement tracing for agent-based cyber-physical-simulated systems はコメントを受け付けていません

QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning

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

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

The Fault in our Stars: Quality Assessment of Code Generation Benchmarks

要約 大規模言語モデル (LLM) は、ソフトウェア エンジニアの間で人気が高ま … 続きを読む

カテゴリー: cs.LG, cs.SE | The Fault in our Stars: Quality Assessment of Code Generation Benchmarks はコメントを受け付けていません

FRANC: A Lightweight Framework for High-Quality Code Generation

要約 近年、トランスフォーマベースの生成モデルを利用した自動ソースコード生成の利 … 続きを読む

カテゴリー: cs.LG, cs.SE | FRANC: A Lightweight Framework for High-Quality Code Generation はコメントを受け付けていません

A Framework to Model ML Engineering Processes

要約 機械学習 (ML) ベースのシステムの開発は複雑で、多様なスキルセットを備 … 続きを読む

カテゴリー: cs.AI, cs.LG, cs.SE | A Framework to Model ML Engineering Processes はコメントを受け付けていません

Retrieval-Augmented Instruction Tuning for Automated Process Engineering Calculations : A Tool-Chaining Problem-Solving Framework with Attributable Reflection

要約 現在のテクノロジー環境には、プロセス エンジニアリングの計算を解決するため … 続きを読む

カテゴリー: cs.AI, cs.LG, cs.SE | Retrieval-Augmented Instruction Tuning for Automated Process Engineering Calculations : A Tool-Chaining Problem-Solving Framework with Attributable Reflection はコメントを受け付けていません

Scalable Supervisory Architecture for Autonomous Race Cars

要約 近年、自律的なレーシングリーグの数と重要性が増加しており、その結果、それに … 続きを読む

カテゴリー: cs.RO, cs.SE | Scalable Supervisory Architecture for Autonomous Race Cars はコメントを受け付けていません

Evaluation of Local Planner-Based Stanley Control in Autonomous RC Car Racing Series

要約 本稿では自律型RCカーレースのための制御手法を提案する。 提示された方法で … 続きを読む

カテゴリー: cs.RO, cs.SE | Evaluation of Local Planner-Based Stanley Control in Autonomous RC Car Racing Series はコメントを受け付けていません