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

Where’s the Bug? Attention Probing for Scalable Fault Localization

要約 コード関連のタスクでは、大規模な言語モデル(LLM)がますます能力があるに … 続きを読む

カテゴリー: cs.LG, cs.SE | Where’s the Bug? Attention Probing for Scalable Fault Localization はコメントを受け付けていません

Scoring Verifiers: Evaluating Synthetic Verification in Code and Reasoning

要約 コード検証は最近、コーディングのための大規模な推論モデルをトレーニングする … 続きを読む

カテゴリー: cs.AI, cs.CL, cs.LG, cs.SE | Scoring Verifiers: Evaluating Synthetic Verification in Code and Reasoning はコメントを受け付けていません

CoSQA+: Pioneering the Multi-Choice Code Search Benchmark with Test-Driven Agents

要約 セマンティックコード検索、特定の自然言語クエリに一致するコードの取得は、ソ … 続きを読む

カテゴリー: cs.AI, cs.IR, cs.SE, D.2.3 | CoSQA+: Pioneering the Multi-Choice Code Search Benchmark with Test-Driven Agents はコメントを受け付けていません

CONSTRUCTA: Automating Commercial Construction Schedules in Fabrication Facilities with Large Language Models

要約 LLMSで計画を自動化することは、伝統的な産業に変革的な機会をもたらします … 続きを読む

カテゴリー: cs.AI, cs.LG, cs.SE | CONSTRUCTA: Automating Commercial Construction Schedules in Fabrication Facilities with Large Language Models はコメントを受け付けていません

Predicting Safety Misbehaviours in Autonomous Driving Systems using Uncertainty Quantification

要約 予期しない状況の自動リアルタイム認識は、特にサポートされていない予測不可能 … 続きを読む

カテゴリー: cs.LG, cs.RO, cs.SE | Predicting Safety Misbehaviours in Autonomous Driving Systems using Uncertainty Quantification はコメントを受け付けていません

VTutor: An Open-Source SDK for Generative AI-Powered Animated Pedagogical Agents with Multi-Media Output

要約 大規模な言語モデル(LLMS)の急速な進化は、ヒューマンコンピューターの相 … 続きを読む

カテゴリー: cs.AI, cs.HC, cs.SE | VTutor: An Open-Source SDK for Generative AI-Powered Animated Pedagogical Agents with Multi-Media Output はコメントを受け付けていません

Metamorphic Testing for Pose Estimation Systems

要約 ポーズ推定システムは、スポーツ分析から家畜ケアまで、さまざまな分野で使用さ … 続きを読む

カテゴリー: cs.AI, cs.CV, cs.SE | Metamorphic Testing for Pose Estimation Systems はコメントを受け付けていません

Improving Existing Optimization Algorithms with LLMs

要約 大規模な言語モデル(LLMS)を最適化に統合することで、強力な相乗効果が生 … 続きを読む

カテゴリー: cs.AI, cs.CL, cs.LG, cs.SE, I.2.7 | Improving Existing Optimization Algorithms with LLMs はコメントを受け付けていません

Do Large Code Models Understand Programming Concepts? Counterfactual Analysis for Code Predicates

要約 テキスト生成での大規模な言語モデルの成功により、コード生成とコーディングタ … 続きを読む

カテゴリー: cs.AI, cs.LG, cs.PL, cs.SE | Do Large Code Models Understand Programming Concepts? Counterfactual Analysis for Code Predicates はコメントを受け付けていません

Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK

要約 大規模な言語モデル(LLM)は、顕著なコード生成機能を実証していますが、生 … 続きを読む

カテゴリー: cs.AI, cs.SE | Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK はコメントを受け付けていません