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

Verified Lifting of Deep learning Operators

投稿日: 2024年12月31日 作成者: jarxiv

要約 深層学習演算子は、最新の深層学習フレームワークの基本コンポーネントです。 … 続きを読む →

カテゴリー: cs.LG, cs.PL, stat.ML | Verified Lifting of Deep learning Operators はコメントを受け付けていません

Mirage: A Multi-Level Superoptimizer for Tensor Programs

投稿日: 2024年12月24日 作成者: jarxiv

要約 テンソル プログラム用の初のマルチレベル スーパーオプティマイザーである … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.PL | Mirage: A Multi-Level Superoptimizer for Tensor Programs はコメントを受け付けていません

QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning

投稿日: 2024年12月18日 作成者: jarxiv

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

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

Grounded Language Design for Lightweight Diagramming for Formal Methods

投稿日: 2024年12月5日 作成者: jarxiv

要約 SAT ソルバーや同様のツールによって具体化されるモデル検索は、埋め込み設 … 続きを読む →

カテゴリー: cs.CL, cs.PL, D.2.4 | Grounded Language Design for Lightweight Diagramming for Formal Methods はコメントを受け付けていません

Evaluating LLMs for Hardware Design and Test

投稿日: 2024年12月3日 作成者: jarxiv

要約 大規模言語モデル (LLM) は、ハードウェア記述言語 (HDL) でコー … 続きを読む →

カテゴリー: cs.AI, cs.AR, cs.CL, cs.LG, cs.PL | Evaluating LLMs for Hardware Design and Test はコメントを受け付けていません

Amplifying human performance in combinatorial competitive programming

投稿日: 2024年12月2日 作成者: jarxiv

要約 近年、人間の競争相手に対して見事なレベルでパフォーマンスを発揮できる、競技 … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.NE, cs.PL | Amplifying human performance in combinatorial competitive programming はコメントを受け付けていません

XGrammar: Flexible and Efficient Structured Generation Engine for Large Language Models

投稿日: 2024年11月28日 作成者: jarxiv

要約 LLM エージェントのアプリケーションはますます複雑かつ多様化しており、コ … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.PL | XGrammar: Flexible and Efficient Structured Generation Engine for Large Language Models はコメントを受け付けていません

XGrammar: Flexible and Efficient Structured Generation Engine for Large Language Models

投稿日: 2024年11月25日 作成者: jarxiv

要約 LLM エージェントのアプリケーションはますます複雑かつ多様化しており、コ … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.PL | XGrammar: Flexible and Efficient Structured Generation Engine for Large Language Models はコメントを受け付けていません

The Master-Slave Encoder Model for Improving Patent Text Summarization: A New Approach to Combining Specifications and Claims

投稿日: 2024年11月22日 作成者: jarxiv

要約 従来の特許明細書のみに由来する特許文要約生成モデルによる生成品質不足の問題 … 続きを読む →

カテゴリー: cs.CL, cs.PL | 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

投稿日: 2024年11月22日 作成者: jarxiv

要約 進化し続ける機械学習の状況において、自然言語記述を実行可能コードにシームレ … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.LG, cs.PL, cs.SE | Linguacodus: A Synergistic Framework for Transformative Code Generation in Machine Learning Pipelines はコメントを受け付けていません