-
最近の投稿
- 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」カテゴリーアーカイブ
Code Repair with LLMs gives an Exploration-Exploitation Tradeoff
要約 大規模言語モデル (LLM) を使用してソース コードを繰り返し改善および … 続きを読む
Kotlin ML Pack: Technical Report
要約 この技術レポートでは、Kotlin コードの 3 つの新しいデータセット、 … 続きを読む
Code Simulation Challenges for Large Language Models
要約 推論、計画、および問題解決のタスクの多くは、本質的なアルゴリズムの性質を共 … 続きを読む
DSDL: Data Set Description Language for Bridging Modalities and Tasks in AI Data
要約 人工知能の時代では、データ モダリティと注釈形式の多様性により、データが直 … 続きを読む
VerMCTS: Synthesizing Multi-Step Programs using a Verifier, a Large Language Model, and Tree Search
要約 大規模言語モデル (LLM) は有用なコードを生成できますが、多くの場合、 … 続きを読む
Boosting Few-Pixel Robustness Verification via Covering Verification Designs
要約 ニューラル ネットワークの信頼性を高めるには、局所的な堅牢性を証明すること … 続きを読む
The generalised distribution semantics and projective families of distributions
要約 我々は、確率的論理プログラミングを支える分散セマンティクスを、その本質的な … 続きを読む
Generating Probabilistic Scenario Programs from Natural Language
要約 ロボット工学や自動運転車などのサイバーフィジカル システム (CPS) で … 続きを読む
Program Synthesis using Inductive Logic Programming for the Abstraction and Reasoning Corpus
要約 Abstraction and Reasoning Corpus (ARC … 続きを読む
A Multi-Level Superoptimizer for Tensor Programs
要約 テンソル プログラム用の初のマルチレベル スーパーオプティマイザーである … 続きを読む