-
最近の投稿
- Wildfire Autonomous Response and Prediction Using Cellular Automata (WARP-CA)
- Efficient, Responsive, and Robust Hopping on Deformable Terrain
- STRIDE: An Open-Source, Low-Cost, and Versatile Bipedal Robot Platform for Research and Education
- The path towards contact-based physical human-robot interaction
- Commonsense Reasoning for Legged Robot Adaptation with Vision-Language Models
-
最近のコメント
表示できるコメントはありません。 cs.AI (23612) cs.CL (17743) cs.CR (1849) cs.CV (30671) cs.LG (28379) cs.RO (13239) cs.SY (2101) eess.IV (3780) eess.SY (2096) stat.ML (3899)
「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
要約 テンソル プログラム用の初のマルチレベル スーパーオプティマイザーである … 続きを読む