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

Design choices made by LLM-based test generators prevent them from finding bugs

要約 大規模言語モデル (LLM) を使用した自動テスト ケース生成のための研究 … 続きを読む

カテゴリー: cs.AI, cs.SE | Design choices made by LLM-based test generators prevent them from finding bugs はコメントを受け付けていません

Decictor: Towards Evaluating the Robustness of Decision-Making in Autonomous Driving Systems

要約 自動運転システム (ADS) のテストは ADS 開発において極めて重要で … 続きを読む

カテゴリー: cs.AI, cs.NE, cs.RO, cs.SE | Decictor: Towards Evaluating the Robustness of Decision-Making in Autonomous Driving 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 はコメントを受け付けていません

Uncovering LLM-Generated Code: A Zero-Shot Synthetic Code Detector via Code Rewriting

要約 大規模言語モデル (LLM) は、コード生成において顕著な熟練度を示してい … 続きを読む

カテゴリー: cs.AI, cs.SE | Uncovering LLM-Generated Code: A Zero-Shot Synthetic Code Detector via Code Rewriting はコメントを受け付けていません

Can LLM Prompting Serve as a Proxy for Static Analysis in Vulnerability Detection

要約 大規模言語モデル (LLM) は、目覚ましい成功を収めているにもかかわらず … 続きを読む

カテゴリー: cs.AI, cs.CL, cs.CR, cs.SE | Can LLM Prompting Serve as a Proxy for Static Analysis in Vulnerability Detection はコメントを受け付けていません

FIRE-3DV: Framework-Independent Rendering Engine for 3D Graphics using Vulkan

要約 インタラクティブ ダイナミック シミュレータは、新しいロボット制御アルゴリ … 続きを読む

カテゴリー: cs.GR, cs.RO, cs.SE | FIRE-3DV: Framework-Independent Rendering Engine for 3D Graphics using Vulkan はコメントを受け付けていません

You Name It, I Run It: An LLM Agent to Execute Tests of Arbitrary Projects

要約 プロジェクトのテスト スイートを実行する機能は、コードの品質とコード カバ … 続きを読む

カテゴリー: cs.AI, cs.SE | You Name It, I Run It: An LLM Agent to Execute Tests of Arbitrary Projects はコメントを受け付けていません

FullStack Bench: Evaluating LLMs as Full Stack Coders

要約 コード大規模言語モデル (LLM) の機能が拡張し続けるにつれて、さまざま … 続きを読む

カテゴリー: cs.AI, cs.SE | FullStack Bench: Evaluating LLMs as Full Stack Coders はコメントを受け付けていません

GR-NLP-TOOLKIT: An Open-Source NLP Toolkit for Modern Greek

要約 現代ギリシャ語向けに特別に開発されたオープンソースの自然言語処理 (NLP … 続きを読む

カテゴリー: cs.AI, cs.CL, cs.SE | GR-NLP-TOOLKIT: An Open-Source NLP Toolkit for Modern Greek はコメントを受け付けていません

The BrowserGym Ecosystem for Web Agent Research

要約 BrowserGym エコシステムは、Web エージェント、特に Web … 続きを読む

カテゴリー: cs.AI, cs.LG, cs.SE | The BrowserGym Ecosystem for Web Agent Research はコメントを受け付けていません