cs.PL」カテゴリーアーカイブ

Large Language Models Synergize with Automated Machine Learning

要約 最近、大規模言語モデル (LLM) によるプログラム合成の人気が高まってい … 続きを読む

カテゴリー: cs.AI, cs.LG, cs.PL, cs.SE | Large Language Models Synergize with Automated Machine Learning はコメントを受け付けていません

KiloBot: A Programming Language for Deploying Perception-Guided Industrial Manipulators at Scale

要約 私たちは、産業用ロボットがカメラと認識パイプラインを備えた非構造化環境を処 … 続きを読む

カテゴリー: cs.AI, cs.PL, cs.RO | KiloBot: A Programming Language for Deploying Perception-Guided Industrial Manipulators at Scale はコメントを受け付けていません

Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming

要約 証明指向のプログラムは、プログラムの正しさの証明と計算内容が混在している。 … 続きを読む

カテゴリー: cs.AI, cs.PL, cs.SE | Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming はコメントを受け付けていません

QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning

要約 形式検証は、信頼性の高いソフトウェアを作成するための有望な方法ですが、手動 … 続きを読む

カテゴリー: cs.LG, cs.PL, cs.SE | QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning はコメントを受け付けていません

Learning Minimal Neural Specifications

要約 形式的検証はシステムの仕様によって決まりますが、これはニューラル ネットワ … 続きを読む

カテゴリー: cs.LG, cs.PL | Learning Minimal Neural Specifications はコメントを受け付けていません

Insights from the Usage of the Ansible Lightspeed Code Completion Service

要約 コードを生成できるラージ言語モデル (LLM) が利用できるようになったこ … 続きを読む

カテゴリー: cs.AI, cs.PL, cs.SE | Insights from the Usage of the Ansible Lightspeed Code Completion Service はコメントを受け付けていません

DrPlanner: Diagnosis and Repair of Motion Planners for Automated Vehicles Using Large Language Models

要約 モーション プランナーは、さまざまなシナリオで自動運転車を安全に運用するた … 続きを読む

カテゴリー: cs.PL, cs.RO | DrPlanner: Diagnosis and Repair of Motion Planners for Automated Vehicles Using Large Language Models はコメントを受け付けていません

Practical Attacks against Black-box Code Completion Engines

要約 大規模な言語モデルを利用した最新のコード補完エンジンは、周囲のコンテキスト … 続きを読む

カテゴリー: cs.CR, cs.LG, cs.PL, cs.SE | Practical Attacks against Black-box Code Completion Engines はコメントを受け付けていません

The Elements of Differentiable Programming

要約 人工知能は最近、大規模なモデル、膨大なデータセット、高速化されたハードウェ … 続きを読む

カテゴリー: cs.AI, cs.LG, cs.PL | The Elements of Differentiable Programming はコメントを受け付けていません

Compressing Structured Tensor Algebra

要約 テンソル代数は、機械学習や科学技術コンピューティングなどのデータ集約型のワ … 続きを読む

カテゴリー: cs.LG, cs.MS, cs.PL | Compressing Structured Tensor Algebra はコメントを受け付けていません