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

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

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

カテゴリー: 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

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

カテゴリー: 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

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

カテゴリー: 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

要約 この論文では、生成 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 はコメントを受け付けていません

DiLogics: Creating Web Automation Programs With Diverse Logics

要約 ナレッジ ワーカーは、レコードの更新や注文などの反復的な Web データ入 … 続きを読む

カテゴリー: cs.AI, cs.HC, cs.PL | DiLogics: Creating Web Automation Programs With Diverse Logics はコメントを受け付けていません

Learning Logic Programs by Discovering Higher-Order Abstractions

要約 新しい抽象化を発見することは、人間レベルの AI にとって重要です。 マッ … 続きを読む

カテゴリー: cs.AI, cs.LG, cs.PL | Learning Logic Programs by Discovering Higher-Order Abstractions はコメントを受け付けていません

Explanations as Programs in Probabilistic Logic Programming

要約 わかりやすい説明の生成は、現代の人工知能システムの重要な機能です。 この研 … 続きを読む

カテゴリー: cs.AI, cs.LO, cs.PL | Explanations as Programs in Probabilistic Logic Programming はコメントを受け付けていません

SEER: Super-Optimization Explorer for HLS using E-graph Rewriting with MLIR

要約 高位合成 (HLS) は、高水準言語のソフトウェア プログラムを低水準のハ … 続きを読む

カテゴリー: cs.AR, cs.CL, cs.PL | SEER: Super-Optimization Explorer for HLS using E-graph Rewriting with MLIR はコメントを受け付けていません

Explaining Black-Box Models through Counterfactuals

要約 私たちは、Julia のブラックボックス モデルの反事実説明 (CE) と … 続きを読む

カテゴリー: cs.AI, cs.LG, cs.PL | Explaining Black-Box Models through Counterfactuals はコメントを受け付けていません

Which Features are Learned by CodeBert: An Empirical Study of the BERT-based Source Code Representation Learning

要約 Bidirectional Encoder Representations … 続きを読む

カテゴリー: cs.CL, cs.CR, cs.LG, cs.PL | Which Features are Learned by CodeBert: An Empirical Study of the BERT-based Source Code Representation Learning はコメントを受け付けていません