-
最近の投稿
- Enhancing Trust in Autonomous Agents: An Architecture for Accountability and Explainability through Blockchain and Large Language Models
- $\mathcal{L}_1$Quad: $\mathcal{L}_1$ Adaptive Augmentation of Geometric Control for Agile Quadrotors with Performance Guarantees
- Scalable and low-cost remote lab platforms: Teaching industrial robotics using open-source tools and understanding its social implications
- Tabletop Object Rearrangement: Structure, Complexity, and Efficient Combinatorial Search-Based Solutions
- AdaCred: Adaptive Causal Decision Transformers with Feature Crediting
-
最近のコメント
表示できるコメントはありません。 cs.AI (31312) cs.CL (23684) cs.CR (2432) cs.CV (37678) cs.LG (36192) cs.RO (18300) cs.SY (2805) eess.IV (4529) eess.SY (2799) stat.ML (4795)
「cs.PL」カテゴリーアーカイブ
Encoding architecture algebra
要約 機械学習の入力タイプは多種多様であるにもかかわらず、この多様性は表現やモデ … 続きを読む
$\textbf{PLUM}$: Improving Code LMs with Execution-Guided On-Policy Preference Learning Driven By Synthetic Test Cases
要約 優先学習は、正しいコードと間違ったコードを区別するようにモデルが明示的にト … 続きを読む
WatChat: Explaining perplexing programs by debugging mental models
要約 多くの場合、プログラムの予期しない動作の適切な説明は、プログラマのコードの … 続きを読む
ChatDBG: An AI-Powered Debugging Assistant
要約 デバッグはプログラマにとって重要ですが、やりがいのある作業です。 このペー … 続きを読む
MonoCoder: Domain-Specific Code Language Model for HPC Codes and Tasks
要約 強力なコンピューティング リソースに簡単にアクセスできるようになったことで … 続きを読む
DOCE: Finding the Sweet Spot for Execution-Based Code Generation
要約 最近、多様なデコードおよび再ランキング手順が LLM ベースのコード生成に … 続きを読む
Understanding How CodeLLMs (Mis)Predict Types with Activation Steering
要約 私たちが知っているように、CodeLLM はソフトウェア開発を変革していま … 続きを読む
CoverUp: Coverage-Guided LLM-Based Test Generation
要約 テストはソフトウェア開発において不可欠な部分です。 テスト生成ツールは、テ … 続きを読む
QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning
要約 形式検証は、信頼性の高いソフトウェアを作成するための有望な方法ですが、手動 … 続きを読む