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

From Procedures, Objects, Actors, Components, Services, to Agents — A Comparative Analysis of the History and Evolution of Programming Abstractions

要約 この章の目的は、{\em プロシージャ}、{\em オブジェクト}、{\e … 続きを読む

カテゴリー: 97P40, cs.AI, cs.PL, cs.SE, D.3 | From Procedures, Objects, Actors, Components, Services, to Agents — A Comparative Analysis of the History and Evolution of Programming Abstractions はコメントを受け付けていません

Code Simulation Challenges for Large Language Models

要約 私たちは、大規模言語モデル (LLM) がコンピューター コードとアルゴリ … 続きを読む

カテゴリー: cs.AI, cs.CL, cs.LG, cs.PL | Code Simulation Challenges for Large Language Models はコメントを受け付けていません

Preserving Power Optimizations Across the High Level Synthesis of Distinct Application-Specific Circuits

要約 私たちは、アプリケーション固有のアクセラレータの高位合成をより高い抽象レベ … 続きを読む

カテゴリー: cs.PL, cs.RO | Preserving Power Optimizations Across the High Level Synthesis of Distinct Application-Specific Circuits はコメントを受け付けていません

SLaDe: A Portable Small Language Model Decompiler for Optimized Assembly

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

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

The Tactician’s Web of Large-Scale Formal Knowledge

要約 The Tactician’s Web は、機械学習、分析、証 … 続きを読む

カテゴリー: 68T30, cs.LG, cs.LO, cs.PL, F.4.1, secondary | The Tactician’s Web of Large-Scale Formal Knowledge はコメントを受け付けていません

MoTCoder: Elevating Large Language Models with Modular of Thought for Challenging Programming Tasks

要約 大規模言語モデル (LLM) は、単純なプログラミング タスクを処理する際 … 続きを読む

カテゴリー: cs.LG, cs.PL, cs.SE | MoTCoder: Elevating Large Language Models with Modular of Thought for Challenging Programming Tasks はコメントを受け付けていません

The Tactician’s Web of Large-Scale Formal Knowledge

要約 The Tactician’s Web は、機械学習、分析、証 … 続きを読む

カテゴリー: 68T30, cs.LG, cs.LO, cs.PL, F.4.1, secondary | The Tactician’s Web of Large-Scale Formal Knowledge はコメントを受け付けていません

SimCLF: A Simple Contrastive Learning Framework for Function-level Binary Embeddings

要約 機能レベルのバイナリ コードの類似性検出は、サイバーセキュリティの重要な側 … 続きを読む

カテゴリー: cs.AI, cs.CR, cs.LG, cs.PL, cs.SE | SimCLF: A Simple Contrastive Learning Framework for Function-level Binary Embeddings はコメントを受け付けていません

Can It Edit? Evaluating the Ability of Large Language Models to Follow Code Editing Instructions

要約 さまざまなコード合成タスクのための大規模な言語モデルの開発と評価に、かなり … 続きを読む

カテゴリー: cs.AI, cs.LG, cs.PL, cs.SE | Can It Edit? Evaluating the Ability of Large Language Models to Follow Code Editing Instructions はコメントを受け付けていません

ACPO: AI-Enabled Compiler-Driven Program Optimization

要約 プログラムのパフォーマンスを最適化する鍵は、コンパイラーによって特定の変換 … 続きを読む

カテゴリー: cs.AI, cs.LG, cs.PF, cs.PL, I.2.6 | ACPO: AI-Enabled Compiler-Driven Program Optimization はコメントを受け付けていません