-
最近の投稿
- FEAST: A Flexible Mealtime-Assistance System Towards In-the-Wild Personalization
- Time-Optimized Safe Navigation in Unstructured Environments through Learning Based Depth Completion
- Advances in Compliance Detection: Novel Models Using Vision-Based Tactile Sensors
- Mass-Adaptive Admittance Control for Robotic Manipulators
- DreamGen: Unlocking Generalization in Robot Learning through Video World Models
-
最近のコメント
表示できるコメントはありません。 cs.AI (39879) cs.CL (30187) cs.CV (45175) cs.HC (3051) cs.LG (44808) cs.RO (23879) cs.SY (3632) eess.IV (5170) eess.SY (3624) stat.ML (5830)
「cs.LO」カテゴリーアーカイブ
Interchangeable Token Embeddings for Extendable Vocabulary and Alpha-Equivalence
要約 言語モデルには、交換可能なトークンの概念がありません。正式なロジックの … 続きを読む
HypRL: Reinforcement Learning of Control Policies for Hyperproperties
要約 複雑なタスクに対するマルチエージェント強化学習（MARL）の報酬形状は依然 … 続きを読む
From Legal Texts to Defeasible Deontic Logic via LLMs: A Study in Automated Semantic Analysis
要約 大規模な言語モデル（LLM）を使用して、法的テキストの自動セマンティック分 … 続きを読む
Towards Practical First-Order Model Counting
要約 一次モデルカウント（FOMC）は、一次ロジックで文のモデルの数をカウントす … 続きを読む
Beyond Winning Strategies: Admissible and Admissible Winning Strategies for Quantitative Reachability Games
要約 古典的な反応性合成アプローチは、特定の仕様を常に満たすリアクティブシステム … 続きを読む
Efficient Dynamic Shielding for Parametric Safety Specifications
要約 シールドは、AI制御された自律システムの安全性を確保するための有望なアプロ … 続きを読む
Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks
要約 大規模な言語モデル（LLMS）は、正式な仕様を生成することにより、自動化さ … 続きを読む
Entailment vs. Verification for Partial-assignment Satisfiability and Enumeration
要約 SAT関連の問題の多くの手順、特に満足のいく真実の割り当ての完全な列挙を必 … 続きを読む
SATBench: Benchmarking LLMs’ Logical Reasoning via Automated Puzzle Generation from SAT Formulas
要約 Satbenchを紹介します。これは、ブールの満足度（SAT）の問題から派 … 続きを読む
Inconsistency Handling in DatalogMTL
要約 この論文では、メトリック時間演算子を持つDatalogの拡張であるData … 続きを読む