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

LEVER: Learning to Verify Language-to-Code Generation with Execution

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

要約 コード上で学習された大規模な言語モデル（コードLLM）の登場は、言語からコ … 続きを読む →

カテゴリー: cs.CL, cs.LG, cs.PL, cs.SE | LEVER: Learning to Verify Language-to-Code Generation with Execution はコメントを受け付けていません

Can Programming Languages Boost Each Other via Instruction Tuning?

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

要約 人間のプログラマーがプログラミング言語を習得すると、新しいプログラミング言 … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.PL, cs.SE | Can Programming Languages Boost Each Other via Instruction Tuning? はコメントを受け付けていません

Symmetry-Preserving Program Representations for Learning Code Semantics

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

要約 大規模言語モデル (LLM) は、多くのセキュリティ タスクの重要な側面で … 続きを読む →

カテゴリー: cs.CR, cs.LG, cs.PL | Symmetry-Preserving Program Representations for Learning Code Semantics はコメントを受け付けていません

LExecutor: Learning-Guided Execution

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

要約 コードの実行は、例外を通じて現れるバグを検出したり、さらなる動的分析のため … 続きを読む →

カテゴリー: cs.LG, cs.PL, cs.SE | LExecutor: Learning-Guided Execution はコメントを受け付けていません

Symmetry-Preserving Program Representations for Learning Code Semantics

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

要約 大規模言語モデル (LLM) は、多くのセキュリティ タスクの重要な側面で … 続きを読む →

カテゴリー: cs.CR, cs.LG, cs.PL | Symmetry-Preserving Program Representations for Learning Code Semantics はコメントを受け付けていません

On the Impact of Language Selection for Training and Evaluating Programming Language Models

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

要約 Transformer ベースの言語モデルの最近の進歩により、これらのモデ … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.LG, cs.PL, cs.SE | On the Impact of Language Selection for Training and Evaluating Programming Language Models はコメントを受け付けていません

Exact Bayesian Inference on Discrete Models via Probability Generating Functions: A Probabilistic Programming Approach

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

要約 我々は、離散統計モデルのための正確なベイズ推論法を提案します。これは、無限 … 続きを読む →

カテゴリー: cs.LG, cs.PL, G.3, stat.CO, stat.ML | Exact Bayesian Inference on Discrete Models via Probability Generating Functions: A Probabilistic Programming Approach はコメントを受け付けていません

Towards Top-Down Automated Development in Limited Scopes: A Neuro-Symbolic Framework from Expressibles to Executables

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

要約 ディープ コード生成は、ソフトウェア エンジニアリングのためのディープ ラ … 続きを読む →

カテゴリー: cs.LG, cs.PL, cs.SE | Towards Top-Down Automated Development in Limited Scopes: A Neuro-Symbolic Framework from Expressibles to Executables はコメントを受け付けていません

Towards Top-Down Automated Development in Limited Scopes: A Neuro-Symbolic Framework from Expressibles to Executables

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

要約 ディープ コード生成は、ソフトウェア エンジニアリングのためのディープ ラ … 続きを読む →

カテゴリー: cs.LG, cs.PL, cs.SE | Towards Top-Down Automated Development in Limited Scopes: A Neuro-Symbolic Framework from Expressibles to Executables はコメントを受け付けていません

From Mundane to Meaningful: AI’s Influence on Work Dynamics — evidence from ChatGPT and Stack Overflow

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

要約 この論文では、生成 AI がどのように生産性を大幅に向上させる機会をもたら … 続きを読む →

カテゴリー: cs.AI, cs.PL, econ.GN, q-fin.EC | From Mundane to Meaningful: AI’s Influence on Work Dynamics — evidence from ChatGPT and Stack Overflow はコメントを受け付けていません