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

ImageEye: Batch Image Processing Using Program Synthesis

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

要約 タイトル：画像処理のためのプログラム合成を用いた一括処理(ImageEye … 続きを読む →

カテゴリー: cs.CV, cs.PL | ImageEye: Batch Image Processing Using Program Synthesis はコメントを受け付けていません

Incremental Verification of Neural Networks

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

要約 【タイトル】ニューラルネットワークの増分検証 【要約】 – 深 … 続きを読む →

カテゴリー: cs.LG, cs.PL, cs.SE | Incremental Verification of Neural Networks はコメントを受け付けていません

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

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

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

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

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