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

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 | コメントする

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

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

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

カテゴリー: cs.AI, cs.LO, cs.PL | コメントする

Enhancing Reasoning Capabilities of LLMs via Principled Synthetic Logic Corpus

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

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

カテゴリー: cs.AI, cs.LG, cs.LO | コメントする

Lifted Inference beyond First-Order Logic

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

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

カテゴリー: cs.AI, cs.LO, math.CO | コメントする

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

Solving Epistemic Logic Programs using Generate-and-Test with Propagation

投稿日: 2024年10月30日 作成者: jarxiv

要約 この論文では、さまざまなジェネレーターおよびテスター プログラムでインスタ … 続きを読む →

カテゴリー: cs.AI, cs.LO | Solving Epistemic Logic Programs using Generate-and-Test with Propagation はコメントを受け付けていません