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

LLM4Decompile: Decompiling Binary Code with Large Language Models

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

要約 逆コンパイルは、コンパイルされたコードを人間が判読できるソース コードに復 … 続きを読む →

カテゴリー: cs.CL, cs.PL | LLM4Decompile: Decompiling Binary Code with Large Language Models はコメントを受け付けていません

WatChat: Explaining perplexing programs by debugging mental models

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

要約 多くの場合、プログラムの予期しない動作の適切な説明は、プログラマのコードの … 続きを読む →

カテゴリー: cs.AI, cs.HC, cs.PL | WatChat: Explaining perplexing programs by debugging mental models はコメントを受け付けていません

Strong Priority and Determinacy in Timed CCS

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

要約 優先順位を伴うプロセス代数の古典的な理論に基づいて、同期プログラミングの本 … 続きを読む →

カテゴリー: cs.CL, cs.PL | Strong Priority and Determinacy in Timed CCS はコメントを受け付けていません

MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data

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

要約 最近の大規模言語モデル (LLM) は、数学的推論や定理証明などのさまざま … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.FL, cs.LG, cs.PL | MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data はコメントを受け付けていません

IRCoder: Intermediate Representations Make Language Models Robust Multilingual Code Generators

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

要約 コードの理解と生成は、急速に言語モデル (LM) の最も人気のあるアプリケ … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.PL | IRCoder: Intermediate Representations Make Language Models Robust Multilingual Code Generators はコメントを受け付けていません

Verification of Neural Networks’ Global Robustness

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

要約 ニューラル ネットワークはさまざまなアプリケーションで成功していますが、敵 … 続きを読む →

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

DeepCode AI Fix: Fixing Security Vulnerabilities with Large Language Models

投稿日: 2024年2月26日 作成者: jarxiv

要約 自動プログラム修復の分野は長年にわたって大きな関心を集めてきましたが、多大 … 続きを読む →

カテゴリー: cs.CR, cs.LG, cs.PL, cs.SE | DeepCode AI Fix: Fixing Security Vulnerabilities with Large Language Models はコメントを受け付けていません

LTL learning on GPUs

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

要約 線形時相論理 (LTL) は産業検証で広く使用されています。 LTL 式は … 続きを読む →

カテゴリー: 68, cs.AI, cs.PL, D.3 | LTL learning on GPUs はコメントを受け付けていません

CodeMind: A Framework to Challenge Large Language Models for Code Reasoning

投稿日: 2024年2月19日 作成者: jarxiv

要約 コード合成用の大規模言語モデル (LLM) を評価するためにテストの合格の … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.PL, cs.SE | CodeMind: A Framework to Challenge Large Language Models for Code Reasoning はコメントを受け付けていません

Programmatic Imitation Learning from Unlabeled and Noisy Demonstrations

投稿日: 2024年2月16日 作成者: jarxiv

要約 模倣学習 (IL) は、デモンストレーションを使用してロボットに新しいタス … 続きを読む →

カテゴリー: cs.PL, cs.RO | Programmatic Imitation Learning from Unlabeled and Noisy Demonstrations はコメントを受け付けていません