-
最近の投稿
- HCOA*: Hierarchical Class-ordered A* for Navigation in Semantic Environments
- Sensor-Based Distributionally Robust Control for Safe Robot Navigation in Dynamic Environments
- Learn to Swim: Data-Driven LSTM Hydrodynamic Model for Quadruped Robot Gait Optimization
- Neural Configuration-Space Barriers for Manipulation Planning and Control
- Systematic Evaluation of Initial States and Exploration-Exploitation Strategies in PID Auto-Tuning: A Framework-Driven Approach Applied on Mobile Robots
-
最近のコメント
表示できるコメントはありません。 cs.AI (37691) cs.CL (28491) cs.CV (43310) cs.HC (2883) cs.LG (42610) cs.RO (22380) cs.SY (3435) eess.IV (5028) eess.SY (3427) stat.ML (5560)
「cs.PL」カテゴリーアーカイブ
InvAASTCluster: On Applying Invariant-Based Program Clustering to Introductory Programming Assignments
要約 プログラミングコースに登録されている学生の数が多いため、導入プログラミング … 続きを読む
Hexcute: A Tile-based Programming Language with Automatic Layout and Task-Mapping Synthesis
要約 ディープラーニング（DL）ワークロードは、主にGPUなどのアクセラレータで … 続きを読む
OSVBench: Benchmarking LLMs on Specification Generation Tasks for Operating System Verification
要約 オペレーティングシステムのカーネル検証タスクに関連する完全な仕様コードを生 … 続きを読む
ChatDBG: Augmenting Debugging with Large Language Models
要約 デバッグは、プログラマーにとって重要だが挑戦的なタスクです。 このペーパー … 続きを読む
Benchmarking LLM for Code Smells Detection: OpenAI GPT-4.0 vs DeepSeek-V3
要約 コード匂いの検出のための最も効果的な大きな言語モデルを決定することは、複雑 … 続きを読む
C2RUST-BENCH: A Minimized, Representative Dataset for C-to-Rust Transpilation Evaluation
要約 過去20年にわたる脆弱性検出の努力にもかかわらず、記憶の安全性の脆弱性は引 … 続きを読む
A Virtual Machine for Arbitrary Low-Precision GPGPU Computation in LLM Serving
要約 大規模な言語モデル（LLMS）を提供することは、AIを搭載したアプリケーシ … 続きを読む
Proof-Carrying Neuro-Symbolic Code
要約 この招待された論文は、「神経系コード」の「プルーフを運ぶ神経系コード」の概 … 続きを読む
VeriMind: Agentic LLM for Automated Verilog Generation with a Novel Evaluation Metric
要約 Verilogモジュールを設計するには、正確性、効率、および設計仕様の順守 … 続きを読む