-
最近の投稿
- Topological mapping for traversability-aware long-range navigation in off-road terrain
- Equality Constrained Diffusion for Direct Trajectory Optimization
- Learning-Based Autonomous Navigation, Benchmark Environments and Simulation Framework for Endovascular Interventions
- Language Supervised Human Action Recognition with Salient Fusion: Construction Worker Action Recognition as a Use Case
- Bi-Level Motion Imitation for Humanoid Robots
-
最近のコメント
表示できるコメントはありません。 cs.AI (27641) cs.CL (20879) cs.CR (2167) cs.CV (34375) cs.LG (32373) cs.RO (15816) cs.SY (2460) eess.IV (4221) eess.SY (2454) stat.ML (4339)
「cs.PL」カテゴリーアーカイブ
Explaining Explanations in Probabilistic Logic Programming
要約 人工知能に基づくツールの出現により、人間が理解できる説明を作成する必要性も … 続きを読む
Learning logic programs by discovering higher-order abstractions
要約 高次のリファクタリング問題を導入します。この問題の目的は、マップ、フィルタ … 続きを読む
PartIR: Composing SPMD Partitioning Strategies for Machine Learning
要約 最新の大規模ニューラル ネットワーク (NN) のトレーニングには、データ … 続きを読む
Transformer-Based Models Are Not Yet Perfect At Learning to Emulate Structural Recursion
要約 この論文では、例から構造再帰を学習するトランスフォーマーベースのモデルの機 … 続きを読む
From Procedures, Objects, Actors, Components, Services, to Agents — A Comparative Analysis of the History and Evolution of Programming Abstractions
要約 この章の目的は、{\em プロシージャ}、{\em オブジェクト}、{\e … 続きを読む
Code Simulation Challenges for Large Language Models
要約 私たちは、大規模言語モデル (LLM) がコンピューター コードとアルゴリ … 続きを読む
Preserving Power Optimizations Across the High Level Synthesis of Distinct Application-Specific Circuits
要約 私たちは、アプリケーション固有のアクセラレータの高位合成をより高い抽象レベ … 続きを読む
SLaDe: A Portable Small Language Model Decompiler for Optimized Assembly
要約 逆コンパイルはよく研究されており、高品質のツールが多数利用可能です。 これ … 続きを読む
The Tactician’s Web of Large-Scale Formal Knowledge
要約 The Tactician’s Web は、機械学習、分析、証 … 続きを読む
MoTCoder: Elevating Large Language Models with Modular of Thought for Challenging Programming Tasks
要約 大規模言語モデル (LLM) は、単純なプログラミング タスクを処理する際 … 続きを読む