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

The why, what, and how of AI-based coding in scientific research

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

要約 コンピューター プログラミング (コーディング) は、さまざまな分野の研究 … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.CY, cs.PL | The why, what, and how of AI-based coding in scientific research はコメントを受け付けていません

Programming Distributed Collective Processes in the eXchange Calculus

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

要約 モノのインターネット (IoT) などの最近のトレンドは、ほぼすべての種類 … 続きを読む →

カテゴリー: cs.AI, cs.DC, cs.MA, cs.PL, D.1.3 | Programming Distributed Collective Processes in the eXchange Calculus はコメントを受け付けていません

OpenCoder: The Open Cookbook for Top-Tier Code Large Language Models

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

要約 コードの大規模言語モデル (LLM) は、コード生成、推論タスク、エージェ … 続きを読む →

カテゴリー: cs.CL, cs.PL | OpenCoder: The Open Cookbook for Top-Tier Code Large Language Models はコメントを受け付けていません

SynCode: LLM Generation with Grammar Augmentation

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

要約 LLM は、複雑な AI アプリケーションで広く使用されています。 これら … 続きを読む →

カテゴリー: cs.FL, cs.LG, cs.PL, cs.SE | SynCode: LLM Generation with Grammar Augmentation はコメントを受け付けていません

Evaluating the Ability of Large Language Models to Generate Verifiable Specifications in VeriFast

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

要約 静的検証はソフトウェアの品質を向上させる強力な方法ですが、多大な人的労力と … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.PL, cs.SE | Evaluating the Ability of Large Language Models to Generate Verifiable Specifications in VeriFast はコメントを受け付けていません

Evaluating the Ability of Large Language Models to Generate Verifiable Specifications in VeriFast

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

要約 静的検証はソフトウェアの品質を向上させる強力な方法ですが、多大な人的労力と … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.PL, cs.SE | Evaluating the Ability of Large Language Models to Generate Verifiable Specifications in VeriFast はコメントを受け付けていません

Synthetic Programming Elicitation for Text-to-Code in Very Low-Resource Programming and Formal Languages

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

要約 コード アプリケーション向けの大規模言語モデル (LLM) の最近の進歩に … 続きを読む →

カテゴリー: cs.LG, cs.PL | Synthetic Programming Elicitation for Text-to-Code in Very Low-Resource Programming and Formal Languages はコメントを受け付けていません

CoTran: An LLM-based Code Translator using Reinforcement Learning with Feedback from Compiler and Symbolic Execution

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

要約 この論文では、LLM ベースのコード変換手法と、プログラム全体を 1 つの … 続きを読む →

カテゴリー: cs.AI, cs.PL, cs.SE, I.2.7 | CoTran: An LLM-based Code Translator using Reinforcement Learning with Feedback from Compiler and Symbolic Execution はコメントを受け付けていません

CodeCloak: A Method for Evaluating and Mitigating Code Leakage by LLM Code Assistants

投稿日: 2024年10月30日 作成者: jarxiv

要約 LLM ベースのコード アシスタントは、開発者の間でますます人気が高まって … 続きを読む →

カテゴリー: cs.CL, cs.CR, cs.LG, cs.PL | CodeCloak: A Method for Evaluating and Mitigating Code Leakage by LLM Code Assistants はコメントを受け付けていません

DOCE: Finding the Sweet Spot for Execution-Based Code Generation

投稿日: 2024年10月17日 作成者: jarxiv

要約 最近、多様なデコードおよび再ランキング手順が LLM ベースのコード生成に … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.PL | DOCE: Finding the Sweet Spot for Execution-Based Code Generation はコメントを受け付けていません