-
最近の投稿
- SOUS VIDE: Cooking Visual Drone Navigation Policies in a Gaussian Splatting Vacuum
- Clarke Transform and Encoder-Decoder Architecture for Arbitrary Joints Locations in Displacement-Actuated Continuum Robots
- Using Clarke Transform to Create a Framework on the Manifold: From Sampling via Trajectory Generation to Control
- Safe Dynamic Motion Generation in Configuration Space Using Differentiable Distance Fields
- BODex: Scalable and Efficient Robotic Dexterous Grasp Synthesis Using Bilevel Optimization
-
最近のコメント
表示できるコメントはありません。 cs.AI (31383) cs.CL (23735) cs.CR (2434) cs.CV (37739) cs.LG (36254) cs.RO (18349) cs.SY (2813) eess.IV (4535) eess.SY (2807) stat.ML (4810)
「cs.PL」カテゴリーアーカイブ
Large Language Models Synergize with Automated Machine Learning
要約 最近、大規模言語モデル (LLM) によるプログラム合成の人気が高まってい … 続きを読む
KiloBot: A Programming Language for Deploying Perception-Guided Industrial Manipulators at Scale
要約 私たちは、産業用ロボットがカメラと認識パイプラインを備えた非構造化環境を処 … 続きを読む
Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming
要約 証明指向のプログラムは、プログラムの正しさの証明と計算内容が混在している。 … 続きを読む
QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning
要約 形式検証は、信頼性の高いソフトウェアを作成するための有望な方法ですが、手動 … 続きを読む
Learning Minimal Neural Specifications
要約 形式的検証はシステムの仕様によって決まりますが、これはニューラル ネットワ … 続きを読む
Insights from the Usage of the Ansible Lightspeed Code Completion Service
要約 コードを生成できるラージ言語モデル (LLM) が利用できるようになったこ … 続きを読む
DrPlanner: Diagnosis and Repair of Motion Planners for Automated Vehicles Using Large Language Models
要約 モーション プランナーは、さまざまなシナリオで自動運転車を安全に運用するた … 続きを読む
Practical Attacks against Black-box Code Completion Engines
要約 大規模な言語モデルを利用した最新のコード補完エンジンは、周囲のコンテキスト … 続きを読む
The Elements of Differentiable Programming
要約 人工知能は最近、大規模なモデル、膨大なデータセット、高速化されたハードウェ … 続きを読む
Compressing Structured Tensor Algebra
要約 テンソル代数は、機械学習や科学技術コンピューティングなどのデータ集約型のワ … 続きを読む