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

The Tactician’s Web of Large-Scale Formal Knowledge

投稿日: 2024年1月8日 作成者: jarxiv

要約 The Tactician’s Web は、機械学習、分析、証 … 続きを読む →

カテゴリー: 68T30, cs.LG, cs.LO, cs.PL, F.4.1, secondary | The Tactician’s Web of Large-Scale Formal Knowledge はコメントを受け付けていません

SimCLF: A Simple Contrastive Learning Framework for Function-level Binary Embeddings

投稿日: 2023年12月27日 作成者: jarxiv

要約 機能レベルのバイナリ コードの類似性検出は、サイバーセキュリティの重要な側 … 続きを読む →

カテゴリー: cs.AI, cs.CR, cs.LG, cs.PL, cs.SE | SimCLF: A Simple Contrastive Learning Framework for Function-level Binary Embeddings はコメントを受け付けていません

Can It Edit? Evaluating the Ability of Large Language Models to Follow Code Editing Instructions

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

要約 さまざまなコード合成タスクのための大規模な言語モデルの開発と評価に、かなり … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.PL, cs.SE | Can It Edit? Evaluating the Ability of Large Language Models to Follow Code Editing Instructions はコメントを受け付けていません

ACPO: AI-Enabled Compiler-Driven Program Optimization

投稿日: 2023年12月18日 作成者: jarxiv

要約 プログラムのパフォーマンスを最適化する鍵は、コンパイラーによって特定の変換 … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.PF, cs.PL, I.2.6 | ACPO: AI-Enabled Compiler-Driven Program Optimization はコメントを受け付けていません

A Language-Agent Approach to Formal Theorem-Proving

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

要約 外部環境と対話するためにコンテキスト内学習が可能な大規模言語モデル (LL … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO, cs.PL | A Language-Agent Approach to Formal Theorem-Proving はコメントを受け付けていません

StarCoder: may the source be with you!

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

要約 BigCode コミュニティは、コード用大規模言語モデル (コード LLM … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.PL, cs.SE | StarCoder: may the source be with you! はコメントを受け付けていません

Extending Answer Set Programming with Rational Numbers

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

要約 Answer Set Programming (ASP) は、複雑な計算問 … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.PL, cs.SE, I.2.4 | Extending Answer Set Programming with Rational Numbers はコメントを受け付けていません

Function-constrained Program Synthesis

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

要約 本研究では、(1)大規模言語モデル(LLM)がプログラミングタスクを解く際 … 続きを読む →

カテゴリー: cs.CL, cs.LG, cs.PL | Function-constrained Program Synthesis はコメントを受け付けていません

A Machine Learning Approach Towards SKILL Code Autocompletion

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

要約 ムーアの法則により電子システムの複雑さが増し続ける中、EDA（Electr … 続きを読む →

カテゴリー: cs.CL, cs.PL, cs.SE, I.2.2 | A Machine Learning Approach Towards SKILL Code Autocompletion はコメントを受け付けていません

Abstract Syntax Tree for Programming Language Understanding and Representation: How Far Are We?

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

要約 プログラミング言語の理解と表現（コード表現学習）は、ソフトウェア工学におい … 続きを読む →

カテゴリー: 68-04, 68T30, cs.AI, cs.CL, cs.PL, cs.SE, I.2.4 | Abstract Syntax Tree for Programming Language Understanding and Representation: How Far Are We? はコメントを受け付けていません