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

Coding by Design: GPT-4 empowers Agile Model Driven Development

投稿日: 2023年10月9日 作成者: jarxiv

要約 ChatGPT などの大規模言語モデル (LLM) を使用して自然言語から … 続きを読む →

カテゴリー: cs.AI, cs.FL, cs.MA, cs.PL, cs.SE | Coding by Design: GPT-4 empowers Agile Model Driven Development はコメントを受け付けていません

A Language-Agent Approach to Formal Theorem-Proving

投稿日: 2023年10月9日 作成者: jarxiv

要約 外部環境と対話するためにコンテキスト内学習が可能な大規模言語モデル (LL … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO, cs.PL | A Language-Agent Approach to Formal Theorem-Proving はコメントを受け付けていません

Design of Chain-of-Thought in Math Problem Solving

投稿日: 2023年10月3日 作成者: jarxiv

要約 思考連鎖 (CoT) は、数学の問題解決の推論において重要な役割を果たしま … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.LG, cs.PL | Design of Chain-of-Thought in Math Problem Solving はコメントを受け付けていません

L2CEval: Evaluating Language-to-Code Generation Capabilities of Large Language Models

投稿日: 2023年10月3日 作成者: jarxiv

要約 最近、大規模言語モデル (LLM)、特にコードで事前トレーニングされたモデ … 続きを読む →

カテゴリー: cs.CL, cs.LG, cs.PL, cs.SE | L2CEval: Evaluating Language-to-Code Generation Capabilities of Large Language Models はコメントを受け付けていません

Scope is all you need: Transforming LLMs for HPC Code

投稿日: 2023年10月2日 作成者: jarxiv

要約 強力なコンピューティング リソースに簡単にアクセスできるようになったことで … 続きを読む →

カテゴリー: cs.CL, cs.PL | Scope is all you need: Transforming LLMs for HPC Code はコメントを受け付けていません

L2CEval: Evaluating Language-to-Code Generation Capabilities of Large Language Models

投稿日: 2023年10月2日 作成者: jarxiv

要約 最近、大規模言語モデル (LLM)、特にコードで事前トレーニングされたモデ … 続きを読む →

カテゴリー: cs.CL, cs.LG, cs.PL, cs.SE | L2CEval: Evaluating Language-to-Code Generation Capabilities of Large Language Models はコメントを受け付けていません

Scope is all you need: Transforming LLMs for HPC Code

投稿日: 2023年9月22日 作成者: jarxiv

要約 強力なコンピューティング リソースに簡単にアクセスできるようになったことで … 続きを読む →

カテゴリー: cs.CL, cs.PL | Scope is all you need: Transforming LLMs for HPC Code はコメントを受け付けていません

Deduplicating and Ranking Solution Programs for Suggesting Reference Solutions

投稿日: 2023年9月12日 作成者: jarxiv

要約 他のユーザーが作成したソリューション プログラムを参照することは、プログラ … 続きを読む →

カテゴリー: cs.CL, cs.PL, cs.SE | Deduplicating and Ranking Solution Programs for Suggesting Reference Solutions はコメントを受け付けていません

LoopTune: Optimizing Tensor Computations with Reinforcement Learning

投稿日: 2023年9月11日 作成者: jarxiv

要約 高度なコンパイラ テクノロジは、機械学習アプリケーションを新しいハードウェ … 続きを読む →

カテゴリー: cs.LG, cs.PL | LoopTune: Optimizing Tensor Computations with Reinforcement Learning はコメントを受け付けていません

Copiloting the Copilots: Fusing Large Language Models with Completion Engines for Automated Program Repair

投稿日: 2023年9月4日 作成者: jarxiv

要約 プログラム自動修復(APR)の際、汎用プログラミング言語で実世界のシステム … 続きを読む →

カテゴリー: cs.LG, cs.PL, cs.SE | Copiloting the Copilots: Fusing Large Language Models with Completion Engines for Automated Program Repair はコメントを受け付けていません