投稿者「jarxiv」のアーカイブ

Towards Practical First-Order Model Counting

要約 一次モデルカウント(FOMC)は、一次ロジックで文のモデルの数をカウントす … 続きを読む

カテゴリー: cs.AI, cs.LO | Towards Practical First-Order Model Counting はコメントを受け付けていません

Mechanistic Decomposition of Sentence Representations

要約 文の埋め込みは、最新のNLPおよびAIシステムの中心ですが、内部構造につい … 続きを読む

カテゴリー: cs.AI, cs.CL | Mechanistic Decomposition of Sentence Representations はコメントを受け付けていません

Employing self-supervised learning models for cross-linguistic child speech maturity classification

要約 スピーチテクノロジーシステムは、小規模なトレーニングコーパスと子どものスピ … 続きを読む

カテゴリー: cs.AI, cs.CL | Employing self-supervised learning models for cross-linguistic child speech maturity classification はコメントを受け付けていません

Towards Reliable Proof Generation with LLMs: A Neuro-Symbolic Approach

要約 大規模な言語モデル(LLM)は、数学的証明生成など、厳密な論理的控除と象徴 … 続きを読む

カテゴリー: cs.AI, cs.CL | Towards Reliable Proof Generation with LLMs: A Neuro-Symbolic Approach はコメントを受け付けていません

Activation Approximations Can Incur Safety Vulnerabilities Even in Aligned LLMs: Comprehensive Analysis and Defense

要約 大規模な言語モデル(LLM)は、さまざまなドメインにわたって顕著な機能を紹 … 続きを読む

カテゴリー: cs.AI, cs.CR | Activation Approximations Can Incur Safety Vulnerabilities Even in Aligned LLMs: Comprehensive Analysis and Defense はコメントを受け付けていません

Scalable Equilibrium Sampling with Sequential Boltzmann Generators

要約 熱力学的平衡における分子状態のスケーラブルなサンプリングは、統計物理学にお … 続きを読む

カテゴリー: cs.AI, cs.LG | Scalable Equilibrium Sampling with Sequential Boltzmann Generators はコメントを受け付けていません

Edit Flows: Flow Matching with Edit Operations

要約 自己回帰の生成モデルは、自然に可変長シーケンスを自然に生成しますが、非自動 … 続きを読む

カテゴリー: cs.AI, cs.LG | Edit Flows: Flow Matching with Edit Operations はコメントを受け付けていません

High-Throughput Phenotyping of Clinical Text Using Large Language Models

要約 ハイスループットの表現型は、患者の兆候の標準化されたオントロジーの概念への … 続きを読む

カテゴリー: cs.AI, cs.CL, I.2 | High-Throughput Phenotyping of Clinical Text Using Large Language Models はコメントを受け付けていません

JuStRank: Benchmarking LLM Judges for System Ranking

要約 生成AIの急速な進歩を考えると、利用可能な多数のモデルと構成を体系的に比較 … 続きを読む

カテゴリー: cs.AI, cs.CL, cs.LG | JuStRank: Benchmarking LLM Judges for System Ranking はコメントを受け付けていません

Router-R1: Teaching LLMs Multi-Round Routing and Aggregation via Reinforcement Learning

要約 多様な大手言語モデル(LLMS)の急速な出現により、ユーザークエリを最も適 … 続きを読む

カテゴリー: cs.AI, cs.CL, cs.LG | Router-R1: Teaching LLMs Multi-Round Routing and Aggregation via Reinforcement Learning はコメントを受け付けていません