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

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

Generating Probabilistic Scenario Programs from Natural Language

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

要約 ロボット工学や自動運転車などのサイバーフィジカル システム (CPS) で … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.PL, cs.SE | Generating Probabilistic Scenario Programs from Natural Language はコメントを受け付けていません

Program Synthesis using Inductive Logic Programming for the Abstraction and Reasoning Corpus

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

要約 Abstraction and Reasoning Corpus (ARC … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.PL | Program Synthesis using Inductive Logic Programming for the Abstraction and Reasoning Corpus はコメントを受け付けていません

A Multi-Level Superoptimizer for Tensor Programs

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

要約 テンソル プログラム用の初のマルチレベル スーパーオプティマイザーである … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.PL | A Multi-Level Superoptimizer for Tensor Programs はコメントを受け付けていません

Synapse: Learning Preferential Concepts from Visual Demonstrations

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

要約 この論文は、ユーザー固有の好み (例: 「良い駐車場」、「便利な降車場所」 … 続きを読む →

カテゴリー: cs.CV, cs.LG, cs.PL, cs.RO | Synapse: Learning Preferential Concepts from Visual Demonstrations はコメントを受け付けていません

Strong Priority and Determinacy in Timed CCS

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

要約 優先順位を備えたプロセス代数の標準理論に基づいて、同期プログラミングの本質 … 続きを読む →

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

Linguacodus: A Synergistic Framework for Transformative Code Generation in Machine Learning Pipelines

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

要約 進化し続ける機械学習の状況において、自然言語記述を実行可能コードにシームレ … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.LG, cs.PL, cs.SE | Linguacodus: A Synergistic Framework for Transformative Code Generation in Machine Learning Pipelines はコメントを受け付けていません

Strong Priority and Determinacy in Timed CCS

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

要約 優先順位を備えたプロセス代数の標準理論に基づいて、同期プログラミングの本質 … 続きを読む →

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