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

Counting Like Transformers: Compiling Temporal Counting Logic Into Softmax Transformers

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

要約 トランスフォーマーの表現力に関する形式的な限界を導き出すこと、および既知の … 続きを読む →

カテゴリー: cs.CL, cs.FL, cs.LG, cs.LO | Counting Like Transformers: Compiling Temporal Counting Logic Into Softmax Transformers はコメントを受け付けていません

Enriching Ontologies with Disjointness Axioms using Large Language Models

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

要約 オントロジーは、ナレッジ グラフでの高度な推論と一貫性チェックには有用であ … 続きを読む →

カテゴリー: cs.AI, cs.LO | Enriching Ontologies with Disjointness Axioms using Large Language Models はコメントを受け付けていません

Effective Littlestone Dimension

投稿日: 2024年11月25日 作成者: jarxiv

要約 Delle Rose et al.~(COLT’23) は、V … 続きを読む →

カテゴリー: cs.LG, cs.LO | Effective Littlestone Dimension はコメントを受け付けていません

Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems

投稿日: 2024年11月22日 作成者: jarxiv

要約 自律システムの認証は、科学と産業において重要な関心事です。 KI-LOK … 続きを読む →

カテゴリー: cs.AI, cs.CV, cs.LO | Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems はコメントを受け付けていません

Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems

投稿日: 2024年11月21日 作成者: jarxiv

要約 この EPTCS ボリュームには、2024 年 11 月 11 日から 1 … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.RO | Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems はコメントを受け付けていません

Soda: An Object-Oriented Functional Language for Specifying Human-Centered Problems

投稿日: 2024年11月21日 作成者: jarxiv

要約 私たちは、性質と量を自然な方法で扱うのに役立ち、それらの正しさをチェックす … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.PL | Soda: An Object-Oriented Functional Language for Specifying Human-Centered Problems はコメントを受け付けていません

Enhancing Reasoning Capabilities of LLMs via Principled Synthetic Logic Corpus

投稿日: 2024年11月20日 作成者: jarxiv

要約 大規模言語モデル (LLM) は幅広いタスクを解決できますが、推論には苦労 … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO | Enhancing Reasoning Capabilities of LLMs via Principled Synthetic Logic Corpus はコメントを受け付けていません

Lifted Inference beyond First-Order Logic

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

要約 Weighted First Order Model Counting ( … 続きを読む →

カテゴリー: cs.AI, cs.LO, math.CO | Lifted Inference beyond First-Order Logic はコメントを受け付けていません

Formal Logic-guided Robust Federated Learning against Poisoning Attacks

投稿日: 2024年11月7日 作成者: jarxiv

要約 Federated Learning (FL) は、分散型の共同学習を可能 … 続きを読む →

カテゴリー: cs.AI, cs.CR, cs.DC, cs.LO | Formal Logic-guided Robust Federated Learning against Poisoning Attacks はコメントを受け付けていません

Formal Logic-guided Robust Federated Learning against Poisoning Attacks

投稿日: 2024年11月6日 作成者: jarxiv

要約 Federated Learning (FL) は、分散型の共同学習を可能 … 続きを読む →

カテゴリー: cs.AI, cs.CR, cs.DC, cs.LO | Formal Logic-guided Robust Federated Learning against Poisoning Attacks はコメントを受け付けていません