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

A Language-Agent Approach to Formal Theorem-Proving

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

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

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

StarCoder: may the source be with you!

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

要約 BigCode コミュニティは、コード用大規模言語モデル (コード LLM … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.PL, cs.SE | StarCoder: may the source be with you! はコメントを受け付けていません

Extending Answer Set Programming with Rational Numbers

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

要約 Answer Set Programming (ASP) は、複雑な計算問 … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.PL, cs.SE, I.2.4 | Extending Answer Set Programming with Rational Numbers はコメントを受け付けていません

Function-constrained Program Synthesis

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

要約 本研究では、(1)大規模言語モデル(LLM)がプログラミングタスクを解く際 … 続きを読む →

カテゴリー: cs.CL, cs.LG, cs.PL | Function-constrained Program Synthesis はコメントを受け付けていません

A Machine Learning Approach Towards SKILL Code Autocompletion

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

要約 ムーアの法則により電子システムの複雑さが増し続ける中、EDA（Electr … 続きを読む →

カテゴリー: cs.CL, cs.PL, cs.SE, I.2.2 | A Machine Learning Approach Towards SKILL Code Autocompletion はコメントを受け付けていません

Abstract Syntax Tree for Programming Language Understanding and Representation: How Far Are We?

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

要約 プログラミング言語の理解と表現（コード表現学習）は、ソフトウェア工学におい … 続きを読む →

カテゴリー: 68-04, 68T30, cs.AI, cs.CL, cs.PL, cs.SE, I.2.4 | Abstract Syntax Tree for Programming Language Understanding and Representation: How Far Are We? はコメントを受け付けていません

Automatic Functional Differentiation in JAX

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

要約 JAX を拡張して、高階関数 (関数と演算子) を自動的に区別する機能を追 … 続きを読む →

カテゴリー: cs.CL, cs.LG, cs.PL | Automatic Functional Differentiation in JAX はコメントを受け付けていません

ANPL: Towards Natural Programming with Interactive Decomposition

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

要約 LLM は妥当なプログラムを生成できますが、特にユーザーの特定の要件が最初 … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.LG, cs.PL | ANPL: Towards Natural Programming with Interactive Decomposition はコメントを受け付けていません

Bidirectional Reactive Programming for Machine Learning

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

要約 リアクティブ言語は、環境と継続的かつ同時に対話するシステムのプログラミング … 続きを読む →

カテゴリー: cs.LG, cs.PL, I.2 | Bidirectional Reactive Programming for Machine Learning はコメントを受け付けていません

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

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

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

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