-
最近の投稿
- Computing High-dimensional Confidence Sets for Arbitrary Distributions
- Reservoir Computing: A New Paradigm for Neural Networks
- A Dynamic, Ordinal Gaussian Process Item Response Theoretic Model
- Solving the Paint Shop Problem with Flexible Management of Multi-Lane Buffers Using Reinforcement Learning and Action Masking
- MiLo: Efficient Quantized MoE Inference with Mixture of Low-Rank Compensators
-
最近のコメント
表示できるコメントはありません。 cs.AI (36107) cs.CL (27319) cs.CR (2749) cs.CV (41949) cs.LG (41080) cs.RO (21304) cs.SY (3219) eess.IV (4921) eess.SY (3213) stat.ML (5380)
「cs.PL」カテゴリーアーカイブ
CoverUp: Coverage-Guided LLM-Based Test Generation
要約 テストはソフトウェア開発において不可欠な部分です。 テスト生成ツールは、テ … 続きを読む
QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning
要約 形式検証は、信頼性の高いソフトウェアを作成するための有望な方法ですが、手動 … 続きを読む
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
要約 モーション プランナーは、さまざまなシナリオで自動運転車を安全に運用するた … 続きを読む