月別アーカイブ: 2025年1月

From Informal to Formal — Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs

投稿日: 2025年1月28日 作成者: jarxiv

要約 AIベースの正式な数学的推論の研究では、止められない成長傾向が示されていま … 続きを読む →

カテゴリー: cs.AI | From Informal to Formal — Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs はコメントを受け付けていません

From Cool Demos to Production-Ready FMware: Core Challenges and a Technology Roadmap

投稿日: 2025年1月28日 作成者: jarxiv

要約 大規模な言語モデル（LLMS）などの基礎モデル（FMS）の迅速な拡張により … 続きを読む →

カテゴリー: cs.AI, cs.SE | From Cool Demos to Production-Ready FMware: Core Challenges and a Technology Roadmap はコメントを受け付けていません

Large Language Model-based Augmentation for Imbalanced Node Classification on Text-Attributed Graphs

投稿日: 2025年1月28日 作成者: jarxiv

要約 グラフのノード分類は、しばしばクラスの不均衡に苦しみ、偏った予測と実際のア … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.SI | Large Language Model-based Augmentation for Imbalanced Node Classification on Text-Attributed Graphs はコメントを受け付けていません

Enhancing Visual Inspection Capability of Multi-Modal Large Language Models on Medical Time Series with Supportive Conformalized and Interpretable Small Specialized Models

投稿日: 2025年1月28日 作成者: jarxiv

要約 大規模な言語モデル（LLMS）は、医療時代のデータの目視検査において顕著な … 続きを読む →

カテゴリー: cs.AI, cs.LG, eess.SP | Enhancing Visual Inspection Capability of Multi-Modal Large Language Models on Medical Time Series with Supportive Conformalized and Interpretable Small Specialized Models はコメントを受け付けていません

Language-Based Bayesian Optimization Research Assistant (BORA)

投稿日: 2025年1月28日 作成者: jarxiv

要約 多くの重要な科学的問題には、ゆっくりと骨の折れる実験的測定と相まって、多変 … 続きを読む →

カテゴリー: cs.AI, cs.LG | Language-Based Bayesian Optimization Research Assistant (BORA) はコメントを受け付けていません

Accelerating Quantum Reinforcement Learning with a Quantum Natural Policy Gradient Based Approach

投稿日: 2025年1月28日 作成者: jarxiv

要約 マルコフ決定プロセス（MDP）への量子Oracleアクセスを備えたモデルフ … 続きを読む →

カテゴリー: cs.AI, quant-ph, stat.ML | Accelerating Quantum Reinforcement Learning with a Quantum Natural Policy Gradient Based Approach はコメントを受け付けていません

A Survey on Knowledge Organization Systems of Research Fields: Resources and Challenges

投稿日: 2025年1月28日 作成者: jarxiv

要約 用語リスト、シソーリ、分類法、オントロジーなどの知識組織システム（KOSS … 続きを読む →

カテゴリー: cs.AI, cs.DL, cs.IR | A Survey on Knowledge Organization Systems of Research Fields: Resources and Challenges はコメントを受け付けていません

From Molecules to Mixtures: Learning Representations of Olfactory Mixture Similarity using Inductive Biases

投稿日: 2025年1月28日 作成者: jarxiv

要約 嗅覚 – 分子が人間に対する臭気としてどのように知覚されるかは … 続きを読む →

カテゴリー: cs.AI, cs.LG | From Molecules to Mixtures: Learning Representations of Olfactory Mixture Similarity using Inductive Biases はコメントを受け付けていません

What is Formal Verification without Specifications? A Survey on mining LTL Specifications

投稿日: 2025年1月28日 作成者: jarxiv

要約 正式な方法を使用した実質的にすべての検証手法は、設計要件を正確に説明する正 … 続きを読む →

カテゴリー: cs.AI, cs.FL, cs.LO | What is Formal Verification without Specifications? A Survey on mining LTL Specifications はコメントを受け付けていません

Upside Down Reinforcement Learning with Policy Generators

投稿日: 2025年1月28日 作成者: jarxiv

要約 逆さまの補強学習（UDRL）は、コマンド条件付きポリシーの学習に焦点を当て … 続きを読む →

カテゴリー: 68T07, cs.AI, cs.LG, I.2.6 | Upside Down Reinforcement Learning with Policy Generators はコメントを受け付けていません