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

DeepCode AI Fix: Fixing Security Vulnerabilities with Large Language Models

投稿日: 2024年2月26日 作成者: jarxiv

要約 自動プログラム修復の分野は長年にわたって大きな関心を集めてきましたが、多大 … 続きを読む →

カテゴリー: cs.CR, cs.LG, cs.PL, cs.SE | DeepCode AI Fix: Fixing Security Vulnerabilities with Large Language Models はコメントを受け付けていません

LTL learning on GPUs

投稿日: 2024年2月20日 作成者: jarxiv

要約 線形時相論理 (LTL) は産業検証で広く使用されています。 LTL 式は … 続きを読む →

カテゴリー: 68, cs.AI, cs.PL, D.3 | LTL learning on GPUs はコメントを受け付けていません

CodeMind: A Framework to Challenge Large Language Models for Code Reasoning

投稿日: 2024年2月19日 作成者: jarxiv

要約 コード合成用の大規模言語モデル (LLM) を評価するためにテストの合格の … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.PL, cs.SE | CodeMind: A Framework to Challenge Large Language Models for Code Reasoning はコメントを受け付けていません

Programmatic Imitation Learning from Unlabeled and Noisy Demonstrations

投稿日: 2024年2月16日 作成者: jarxiv

要約 模倣学習 (IL) は、デモンストレーションを使用してロボットに新しいタス … 続きを読む →

カテゴリー: cs.PL, cs.RO | Programmatic Imitation Learning from Unlabeled and Noisy Demonstrations はコメントを受け付けていません

SLaDe: A Portable Small Language Model Decompiler for Optimized Assembly

投稿日: 2024年2月16日 作成者: jarxiv

要約 逆コンパイルはよく研究されており、高品質のツールが多数利用可能です。 これ … 続きを読む →

カテゴリー: cs.AI, cs.PL | SLaDe: A Portable Small Language Model Decompiler for Optimized Assembly はコメントを受け付けていません

Program Machine Policy: Addressing Long-Horizon Tasks by Integrating Program Synthesis and State Machines

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

要約 深層強化学習 (ディープ RL) はさまざまな領域で優れていますが、一般化 … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.PL, cs.RO | Program Machine Policy: Addressing Long-Horizon Tasks by Integrating Program Synthesis and State Machines はコメントを受け付けていません

ChatScratch: An AI-Augmented System Toward Autonomous Visual Programming Learning for Children Aged 6-12

投稿日: 2024年2月8日 作成者: jarxiv

要約 コンピューター的思考 (CT) が幼稚園から高校までの教育において低年齢層 … 続きを読む →

カテゴリー: cs.AI, cs.HC, cs.PL | ChatScratch: An AI-Augmented System Toward Autonomous Visual Programming Learning for Children Aged 6-12 はコメントを受け付けていません

DSPy Assertions: Computational Constraints for Self-Refining Language Model Pipelines

投稿日: 2024年2月5日 作成者: jarxiv

要約 言語モデル(LM)呼び出しの連結は、新しいプログラミング手法に拍車をかけて … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.PL | DSPy Assertions: Computational Constraints for Self-Refining Language Model Pipelines はコメントを受け付けていません

Is Self-Repair a Silver Bullet for Code Generation?

投稿日: 2024年2月5日 作成者: jarxiv

要約 大規模な言語モデルは、コード生成において顕著な適性を示しているが、複雑なタ … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.PL, cs.SE | Is Self-Repair a Silver Bullet for Code Generation? はコメントを受け付けていません

Self-Infilling Code Generation

投稿日: 2024年1月31日 作成者: jarxiv

要約 この研究では、自己回帰デコーディングに埋め込み操作を組み込む一般的なフレー … 続きを読む →

カテゴリー: cs.CL, cs.LG, cs.PL | Self-Infilling Code Generation はコメントを受け付けていません