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

Explore as a Storm, Exploit as a Raindrop: On the Benefit of Fine-Tuning Kernel Schedulers with Coordinate Descent

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

要約 機械学習モデルはカーネルで構成されます。カーネルは、テンソル (自然数の線 … 続きを読む →

カテゴリー: 68N20, cs.LG, cs.PL, D.3.4 | Explore as a Storm, Exploit as a Raindrop: On the Benefit of Fine-Tuning Kernel Schedulers with Coordinate Descent はコメントを受け付けていません

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

投稿日: 2024年7月10日 作成者: jarxiv

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

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

VEXIR2Vec: An Architecture-Neutral Embedding Framework for Binary Similarity

投稿日: 2024年7月10日 作成者: jarxiv

要約 バイナリの類似性には、2 つのバイナリ プログラムが同様の機能を示している … 続きを読む →

カテゴリー: cs.CR, cs.LG, cs.PL | VEXIR2Vec: An Architecture-Neutral Embedding Framework for Binary Similarity はコメントを受け付けていません

$Classi|Q\rangle$ Towards a Translation Framework To Bridge The Classical-Quantum Programming Gap

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

要約 量子コンピューティングは、ハードウェアとしてすぐに利用できたり、クラウド上 … 続きを読む →

カテゴリー: cs.CL, cs.ET, cs.PL, cs.SE | $Classi|Q\rangle$ Towards a Translation Framework To Bridge The Classical-Quantum Programming Gap はコメントを受け付けていません

Explore as a Storm, Exploit as a Raindrop: On the Benefit of Fine-Tuning Kernel Schedulers with Coordinate Descent

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

要約 機械学習モデルはカーネルで構成されます。カーネルは、テンソル (自然数の線 … 続きを読む →

カテゴリー: 68N20, cs.LG, cs.PL, D.3.4 | Explore as a Storm, Exploit as a Raindrop: On the Benefit of Fine-Tuning Kernel Schedulers with Coordinate Descent はコメントを受け付けていません

Is Programming by Example solved by LLMs?

投稿日: 2024年6月14日 作成者: jarxiv

要約 Programming-by-Examples (PBE) は、入出力サン … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.LG, cs.PL, cs.SE | Is Programming by Example solved by LLMs? はコメントを受け付けていません

Is Programming by Example solved by LLMs?

投稿日: 2024年6月13日 作成者: jarxiv

要約 Programming-by-Examples (PBE) は、入出力サン … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.LG, cs.PL, cs.SE | Is Programming by Example solved by LLMs? はコメントを受け付けていません

DafnyBench: A Benchmark for Formal Software Verification

投稿日: 2024年6月13日 作成者: jarxiv

要約 正式なソフトウェア検証のための機械学習システムのトレーニングと評価を行うた … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.PL, cs.SE | DafnyBench: A Benchmark for Formal Software Verification はコメントを受け付けていません

Exploiting Code Symmetries for Learning Program Semantics

投稿日: 2024年6月7日 作成者: jarxiv

要約 この論文では、コードの対称性をモデル アーキテクチャに組み込むことによって … 続きを読む →

カテゴリー: cs.CR, cs.LG, cs.PL | Exploiting Code Symmetries for Learning Program Semantics はコメントを受け付けていません

ReGAL: Refactoring Programs to Discover Generalizable Abstractions

投稿日: 2024年6月7日 作成者: jarxiv

要約 大規模言語モデル (LLM) はプログラム合成にますます使用されていますが … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.LG, cs.PL, cs.SE | ReGAL: Refactoring Programs to Discover Generalizable Abstractions はコメントを受け付けていません