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

RepoCoder: Repository-Level Code Completion Through Iterative Retrieval and Generation

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

要約 リポジトリ レベルのコード補完のタスクは、リポジトリのより広範なコンテキス … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.PL, cs.SE | RepoCoder: Repository-Level Code Completion Through Iterative Retrieval and Generation はコメントを受け付けていません

Automatic Unit Test Data Generation and Actor-Critic Reinforcement Learning for Code Synthesis

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

要約 コード合成の領域における事前トレーニング済みの大規模な言語モデルの出現によ … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.LG, cs.PL | Automatic Unit Test Data Generation and Actor-Critic Reinforcement Learning for Code Synthesis はコメントを受け付けていません

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

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

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

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

Is Self-Repair a Silver Bullet for Code Generation?

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

要約 大規模な言語モデルは、コード生成において顕著な適性を示していますが、依然と … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.PL, cs.SE | Is Self-Repair a Silver Bullet for Code Generation? はコメントを受け付けていません

Towards the Imagenets of ML4EDA

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

要約 RTL から GDSII まで、ML ガイド付き EDA ツールへの関心が … 続きを読む →

カテゴリー: cs.AI, cs.AR, cs.LG, cs.PL | Towards the Imagenets of ML4EDA はコメントを受け付けていません

CodeChain: Towards Modular Code Generation Through Chain of Self-revisions with Representative Sub-modules

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

要約 大規模言語モデル (LLM) は、HumanEval や MBPP ベンチ … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.PL | CodeChain: Towards Modular Code Generation Through Chain of Self-revisions with Representative Sub-modules はコメントを受け付けていません

Trustworthy Formal Natural Language Specifications

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

要約 インタラクティブ証明アシスタントは、人間が設計した数学的主張の証明を実装に … 続きを読む →

カテゴリー: cs.CL, cs.PL | Trustworthy Formal Natural Language Specifications はコメントを受け付けていません

mlirSynth: Automatic, Retargetable Program Raising in Multi-Level IR using Program Synthesis

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

要約 MLIR は最新のハードウェア向けの新しいコンパイラ インフラストラクチャ … 続きを読む →

カテゴリー: cs.CL, cs.DC, cs.PF, cs.PL | mlirSynth: Automatic, Retargetable Program Raising in Multi-Level IR using Program Synthesis はコメントを受け付けていません

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 はコメントを受け付けていません