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

QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning

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

カテゴリー: cs.LG, cs.PL, cs.SE | コメントする

Grounded Language Design for Lightweight Diagramming for Formal Methods

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

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

Evaluating LLMs for Hardware Design and Test

要約 大規模言語モデル (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

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

カテゴリー: 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

要約 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

要約 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

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

カテゴリー: 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

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

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

Soda: An Object-Oriented Functional Language for Specifying Human-Centered Problems

要約 私たちは、性質と量を自然な方法で扱うのに役立ち、それらの正しさをチェックす … 続きを読む

カテゴリー: cs.AI, cs.LO, cs.PL | Soda: An Object-Oriented Functional Language for Specifying Human-Centered Problems はコメントを受け付けていません

Is Programming by Example solved by LLMs?

要約 Programming-by-Examples (PBE) は、入出力サン … 続きを読む

カテゴリー: cs.AI, cs.CL, cs.LG, cs.PL, cs.SE | Is Programming by Example solved by LLMs? はコメントを受け付けていません