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

Cross-Domain Evaluation of a Deep Learning-Based Type Inference System

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

要約 オプションの型注釈を使用すると、統合開発環境 (IDE) のサポートの向上 … 続きを読む →

カテゴリー: cs.LG, cs.PL, cs.SE | Cross-Domain Evaluation of a Deep Learning-Based Type Inference System はコメントを受け付けていません

A Formalization of Operads in Coq

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

要約 プログラミング言語内での実行の正確性について最高レベルの保証を提供するもの … 続きを読む →

カテゴリー: cs.CL, cs.PL, math.CT | A Formalization of Operads in Coq はコメントを受け付けていません

Measuring The Impact Of Programming Language Distribution

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

要約 ニューラル コード モデルを評価するための現在のベンチマークは、プログラミ … 続きを読む →

カテゴリー: cs.CL, cs.LG, cs.PL | Measuring The Impact Of Programming Language Distribution はコメントを受け付けていません

DACOS-A Manually Annotated Dataset of Code Smells

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

要約 研究者は、多くのコードの匂いの主観性に対抗するために、コードの匂いの検出に … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.PL, cs.SE | DACOS-A Manually Annotated Dataset of Code Smells はコメントを受け付けていません

Happy-GLL: modular, reusable and complete top-down parsers for parameterized nonterminals

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

要約 パーサー ジェネレーターとパーサー コンビネーター ライブラリは、パーサー … 続きを読む →

カテゴリー: cs.CL, cs.PL, cs.SE | Happy-GLL: modular, reusable and complete top-down parsers for parameterized nonterminals はコメントを受け付けていません

Neural Probabilistic Logic Programming in Discrete-Continuous Domains

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

要約 ニューラル シンボリック AI (NeSy) により、ニューラル ネットワ … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO, cs.PL, cs.SC, I.2.4 | Neural Probabilistic Logic Programming in Discrete-Continuous Domains はコメントを受け付けていません

Improved Tree Search for Automatic Program Synthesis

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

要約 自動プログラム合成のタスクでは、一致する入力と出力のペアを取得し、特定のド … 続きを読む →

カテゴリー: cs.LG, cs.PL, cs.SE | Improved Tree Search for Automatic Program Synthesis はコメントを受け付けていません

NeuroQL: A Neuro-Symbolic Language and Dataset for Inter-Subjective Reasoning

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

要約 主観的推論のための新しい AI タスクとベースライン ソリューションを紹介 … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.PL, cs.SE | NeuroQL: A Neuro-Symbolic Language and Dataset for Inter-Subjective Reasoning はコメントを受け付けていません

Planning with Large Language Models for Code Generation

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

要約 既存の大規模な言語モデル ベースのコード生成パイプラインでは、通常、デコー … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.LG, cs.PL | Planning with Large Language Models for Code Generation はコメントを受け付けていません

RAF: Holistic Compilation for Deep Learning Model Training

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

要約 ディープ ラーニングは最新のアプリケーションに普及しているため、ディープ … 続きを読む →

カテゴリー: cs.DC, cs.LG, cs.PL | RAF: Holistic Compilation for Deep Learning Model Training はコメントを受け付けていません