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

debug-gym: A Text-Based Environment for Interactive Debugging

要約 大規模な言語モデル(LLM)は、タスクのコーディングにますます依存していま … 続きを読む

カテゴリー: cs.AI, cs.CL, cs.PL, cs.SE | コメントする

VeriMind: Agentic LLM for Automated Verilog Generation with a Novel Evaluation Metric

要約 Verilogモジュールを設計するには、正確性、効率、および設計仕様の順守 … 続きを読む

カテゴリー: cs.AI, cs.AR, cs.LG, cs.PL | コメントする

Text2Model: Generating dynamic chemical reactor models using large language models (LLMs)

要約 大規模な言語モデルが自然言語を介して会話する際に顕著な能力を示しているため … 続きを読む

カテゴリー: cs.CL, cs.PL | コメントする

Learning Minimal Neural Specifications

要約 正式な検証は、システムの仕様と同じくらい良いものであり、ニューラルネットワ … 続きを読む

カテゴリー: cs.LG, cs.PL | コメントする

Grammar-Based Code Representation: Is It a Worthy Pursuit for LLMs?

要約 文法は、プログラミング言語とソフトウェアエンジニアリングの基礎として機能し … 続きを読む

カテゴリー: cs.AI, cs.PL | Grammar-Based Code Representation: Is It a Worthy Pursuit for LLMs? はコメントを受け付けていません

From Informal to Formal — Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs

要約 AIベースの正式な数学的推論の研究では、止められない成長傾向が示されていま … 続きを読む

カテゴリー: cs.AI, cs.CL, cs.PL | From Informal to Formal — Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs はコメントを受け付けていません

Conversation Routines: A Prompt Engineering Framework for Task-Oriented Dialog Systems

要約 この研究では、大規模な言語モデル(LLM)を使用してタスク指向のダイアログ … 続きを読む

カテゴリー: cs.AI, cs.CL, cs.ET, cs.HC, cs.PL | Conversation Routines: A Prompt Engineering Framework for Task-Oriented Dialog Systems はコメントを受け付けていません

Conversation Routines: A Prompt Engineering Framework for Task-Oriented Dialog Systems

要約 この研究では、大規模な言語モデル(LLM)を使用してタスク指向のダイアログ … 続きを読む

カテゴリー: cs.AI, cs.CL, cs.ET, cs.HC, cs.PL | Conversation Routines: A Prompt Engineering Framework for Task-Oriented Dialog Systems はコメントを受け付けていません

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 はコメントを受け付けていません

CoverUp: Coverage-Guided LLM-Based Test Generation

要約 テストはソフトウェア開発の重要な部分です。 テスト生成ツールは、テスト作成 … 続きを読む

カテゴリー: cs.AI, cs.LG, cs.PL, cs.SE | CoverUp: Coverage-Guided LLM-Based Test Generation はコメントを受け付けていません