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

Chronosymbolic Learning: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning

投稿日: 2024年6月5日 作成者: jarxiv

要約 Constrained Horn Clauses (CHC) を解決するこ … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.PL | Chronosymbolic Learning: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning はコメントを受け付けていません

Revisiting Code Similarity Evaluation with Abstract Syntax Tree Edit Distance

投稿日: 2024年6月4日 作成者: jarxiv

要約 本稿では、最近のコード類似性評価メトリクスを再検討し、特に、多様なプログラ … 続きを読む →

カテゴリー: cs.CL, cs.PL, cs.SE | Revisiting Code Similarity Evaluation with Abstract Syntax Tree Edit Distance はコメントを受け付けていません

Explaining Explanations in Probabilistic Logic Programming

投稿日: 2024年6月3日 作成者: jarxiv

要約 人工知能に基づくツールの出現により、人間が理解できる説明を作成する必要性も … 続きを読む →

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

Code Repair with LLMs gives an Exploration-Exploitation Tradeoff

投稿日: 2024年5月31日 作成者: jarxiv

要約 大規模言語モデル (LLM) を使用してソース コードを繰り返し改善および … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.PL, cs.SE | Code Repair with LLMs gives an Exploration-Exploitation Tradeoff はコメントを受け付けていません

Kotlin ML Pack: Technical Report

投稿日: 2024年5月30日 作成者: jarxiv

要約 この技術レポートでは、Kotlin コードの 3 つの新しいデータセット、 … 続きを読む →

カテゴリー: cs.AI, cs.PL, cs.SE | Kotlin ML Pack: Technical Report はコメントを受け付けていません

Code Simulation Challenges for Large Language Models

投稿日: 2024年5月30日 作成者: jarxiv

要約 推論、計画、および問題解決のタスクの多くは、本質的なアルゴリズムの性質を共 … 続きを読む →

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

DSDL: Data Set Description Language for Bridging Modalities and Tasks in AI Data

投稿日: 2024年5月29日 作成者: jarxiv

要約 人工知能の時代では、データ モダリティと注釈形式の多様性により、データが直 … 続きを読む →

カテゴリー: cs.AI, cs.PL | DSDL: Data Set Description Language for Bridging Modalities and Tasks in AI Data はコメントを受け付けていません

VerMCTS: Synthesizing Multi-Step Programs using a Verifier, a Large Language Model, and Tree Search

投稿日: 2024年5月27日 作成者: jarxiv

要約 大規模言語モデル (LLM) は有用なコードを生成できますが、多くの場合、 … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO, cs.PL, cs.SE | VerMCTS: Synthesizing Multi-Step Programs using a Verifier, a Large Language Model, and Tree Search はコメントを受け付けていません

Boosting Few-Pixel Robustness Verification via Covering Verification Designs

投稿日: 2024年5月20日 作成者: jarxiv

要約 ニューラル ネットワークの信頼性を高めるには、局所的な堅牢性を証明すること … 続きを読む →

カテゴリー: cs.LG, cs.LO, cs.PL | Boosting Few-Pixel Robustness Verification via Covering Verification Designs はコメントを受け付けていません

The generalised distribution semantics and projective families of distributions

投稿日: 2024年5月17日 作成者: jarxiv

要約 我々は、確率的論理プログラミングを支える分散セマンティクスを、その本質的な … 続きを読む →

カテゴリー: cs.AI, cs.DB, cs.PL | The generalised distribution semantics and projective families of distributions はコメントを受け付けていません