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

SLaDe: A Portable Small Language Model Decompiler for Optimized Assembly

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

カテゴリー: 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

要約 深層強化学習 (ディープ 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

要約 コンピューター的思考 (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

要約 言語モデル(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?

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

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

Self-Infilling Code Generation

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

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

Explaining Explanations in Probabilistic Logic Programming

要約 人工知能に基づくツールの出現により、人間が理解できる説明を作成する必要性も … 続きを読む

カテゴリー: cs.AI, cs.PL | Explaining Explanations in Probabilistic Logic Programming はコメントを受け付けていません

Learning logic programs by discovering higher-order abstractions

要約 高次のリファクタリング問題を導入します。この問題の目的は、マップ、フィルタ … 続きを読む

カテゴリー: cs.AI, cs.LG, cs.PL | Learning logic programs by discovering higher-order abstractions はコメントを受け付けていません

PartIR: Composing SPMD Partitioning Strategies for Machine Learning

要約 最新の大規模ニューラル ネットワーク (NN) のトレーニングには、データ … 続きを読む

カテゴリー: cs.DC, cs.LG, cs.PL | PartIR: Composing SPMD Partitioning Strategies for Machine Learning はコメントを受け付けていません

Transformer-Based Models Are Not Yet Perfect At Learning to Emulate Structural Recursion

要約 この論文では、例から構造再帰を学習するトランスフォーマーベースのモデルの機 … 続きを読む

カテゴリー: cs.AI, cs.CL, cs.FL, cs.LO, cs.PL | Transformer-Based Models Are Not Yet Perfect At Learning to Emulate Structural Recursion はコメントを受け付けていません