-
最近の投稿
- 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」カテゴリーアーカイブ
QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning
要約 形式検証は、信頼性の高いソフトウェアを作成するための有望な方法ですが、手動 … 続きを読む
Grounded Language Design for Lightweight Diagramming for Formal Methods
要約 SAT ソルバーや同様のツールによって具体化されるモデル検索は、埋め込み設 … 続きを読む
Evaluating LLMs for Hardware Design and Test
要約 大規模言語モデル (LLM) は、ハードウェア記述言語 (HDL) でコー … 続きを読む
Amplifying human performance in combinatorial competitive programming
要約 近年、人間の競争相手に対して見事なレベルでパフォーマンスを発揮できる、競技 … 続きを読む
XGrammar: Flexible and Efficient Structured Generation Engine for Large Language Models
要約 LLM エージェントのアプリケーションはますます複雑かつ多様化しており、コ … 続きを読む
XGrammar: Flexible and Efficient Structured Generation Engine for Large Language Models
要約 LLM エージェントのアプリケーションはますます複雑かつ多様化しており、コ … 続きを読む
The Master-Slave Encoder Model for Improving Patent Text Summarization: A New Approach to Combining Specifications and Claims
要約 従来の特許明細書のみに由来する特許文要約生成モデルによる生成品質不足の問題 … 続きを読む
Linguacodus: A Synergistic Framework for Transformative Code Generation in Machine Learning Pipelines
要約 進化し続ける機械学習の状況において、自然言語記述を実行可能コードにシームレ … 続きを読む
Soda: An Object-Oriented Functional Language for Specifying Human-Centered Problems
要約 私たちは、性質と量を自然な方法で扱うのに役立ち、それらの正しさをチェックす … 続きを読む