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

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

Evaluating the Ability of Large Language Models to Generate Verifiable Specifications in VeriFast

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

要約 静的検証はソフトウェアの品質を向上させる強力な方法ですが、多大な人的労力と … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.PL, cs.SE | Evaluating the Ability of Large Language Models to Generate Verifiable Specifications in VeriFast はコメントを受け付けていません

Evaluating the Ability of Large Language Models to Generate Verifiable Specifications in VeriFast

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

要約 静的検証はソフトウェアの品質を向上させる強力な方法ですが、多大な人的労力と … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.PL, cs.SE | Evaluating the Ability of Large Language Models to Generate Verifiable Specifications in VeriFast はコメントを受け付けていません

Progressive Safeguards for Safe and Model-Agnostic Reinforcement Learning

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

要約 この論文では、安全な強化学習のための正式なモデルに依存しないメタ学習フレー … 続きを読む →

カテゴリー: cs.LG, cs.LO | Progressive Safeguards for Safe and Model-Agnostic Reinforcement Learning はコメントを受け付けていません