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

LILO: Learning Interpretable Libraries by Compressing and Documenting Code

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

要約 現在、大規模言語モデル (LLM) はコード生成に優れていますが、ソフトウ … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.LG, cs.PL | LILO: Learning Interpretable Libraries by Compressing and Documenting Code はコメントを受け付けていません

SUQL: Conversational Search over Structured and Unstructured Data with Large Language Models

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

要約 ほとんどの会話エージェントはフリーテキストまたは構造化された知識に基づいて … 続きを読む →

カテゴリー: cs.CL, cs.PL | SUQL: Conversational Search over Structured and Unstructured Data with Large Language Models はコメントを受け付けていません

DrPlanner: Diagnosis and Repair of Motion Planners Using Large Language Models

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

要約 モーション プランナーは、さまざまなシナリオで自動運転車を安全に操作するた … 続きを読む →

カテゴリー: cs.PL, cs.RO | DrPlanner: Diagnosis and Repair of Motion Planners Using Large Language Models はコメントを受け付けていません

Automatic Generation of Python Programs Using Context-Free Grammars

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

要約 近年、データが新たな金として台頭し、インテリジェントなシステムを構築するた … 続きを読む →

カテゴリー: cs.CL, cs.LG, cs.PL | Automatic Generation of Python Programs Using Context-Free Grammars はコメントを受け付けていません

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