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

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

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

カテゴリー: 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

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

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

AlgoRxplorers | Precision in Mutation — Enhancing Drug Design with Advanced Protein Stability Prediction Tools

要約 タンパク質の安定性に対する単一点アミノ酸変異の影響を予測することは、疾患メ … 続きを読む

カテゴリー: cs.AI, cs.LG | AlgoRxplorers | Precision in Mutation — Enhancing Drug Design with Advanced Protein Stability Prediction Tools はコメントを受け付けていません

Evaluating The Performance of Using Large Language Models to Automate Summarization of CT Simulation Orders in Radiation Oncology

要約 目的:この調査は、大規模な言語モデル(LLM)を使用して、CTシミュレーシ … 続きを読む

カテゴリー: cs.AI, physics.med-ph | Evaluating The Performance of Using Large Language Models to Automate Summarization of CT Simulation Orders in Radiation Oncology はコメントを受け付けていません

Empirical Studies of Parameter Efficient Methods for Large Language Models of Code and Knowledge Transfer to R

要約 パラメーター効率的な微調整(PEFT)メソッドは、高いトレーニングコストを … 続きを読む

カテゴリー: cs.AI, cs.SE | Empirical Studies of Parameter Efficient Methods for Large Language Models of Code and Knowledge Transfer to R はコメントを受け付けていません

λ: A Benchmark for Data-Efficiency in Long-Horizon Indoor Mobile Manipulation Robotics

要約 長老様式のモバイル操作(MOMA)タスクを効率的に学習および実行することは … 続きを読む

カテゴリー: cs.AI, cs.LG, cs.RO | λ: A Benchmark for Data-Efficiency in Long-Horizon Indoor Mobile Manipulation Robotics はコメントを受け付けていません

DynaGRAG | Exploring the Topology of Information for Advancing Language Understanding and Generation in Graph Retrieval-Augmented Generation

要約 グラフの検索された生成(グラグまたはグラフぼろきれ)アーキテクチャは、外部 … 続きを読む

カテゴリー: cs.AI, cs.CL, cs.LG | DynaGRAG | Exploring the Topology of Information for Advancing Language Understanding and Generation in Graph Retrieval-Augmented Generation はコメントを受け付けていません

Path Analysis for Effective Fault Localization in Deep Neural Networks

要約 ディープラーニングは多くの分野に革命をもたらしましたが、深いニューラルネッ … 続きを読む

カテゴリー: cs.AI, cs.NE, cs.SE | Path Analysis for Effective Fault Localization in Deep Neural Networks はコメントを受け付けていません

sDREAMER: Self-distilled Mixture-of-Modality-Experts Transformer for Automatic Sleep Staging

要約 脳波(EEG)と筋電図(EMG)シグナルに基づく自動睡眠段階は、睡眠関連の … 続きを読む

カテゴリー: cs.AI, cs.LG | sDREAMER: Self-distilled Mixture-of-Modality-Experts Transformer for Automatic Sleep Staging はコメントを受け付けていません

Understanding Long Videos via LLM-Powered Entity Relation Graphs

要約 拡張されたビデオコンテンツの分析は、特に時間をかけて視覚的要素を追跡し、理 … 続きを読む

カテゴリー: cs.CV, cs.IR | Understanding Long Videos via LLM-Powered Entity Relation Graphs はコメントを受け付けていません