Search Results

Refine Results
  1. Operating-Layer Controls for Onchain Language-Model Agents Under Real Capital

    Published in ArXiv cs.MA Recent Papers (2026)
    Get full text
    Online Article RSS Article
  2. I Would If I Could: Reasoning about Dynamics of Actions in Multi-Agent Systems

    Published in ArXiv cs.MA Recent Papers (2026)
    Get full text
    Online Article RSS Article
  3. Pythia: Toward Predictability-Driven Agent-Native LLM Serving

    Published in ArXiv cs.MA Recent Papers (2026)
    Get full text
    Online Article RSS Article
  4. Volitional Multiagent Atomic Transactions: Describing People and their Machines

    Published in ArXiv cs.MA Recent Papers (2026)
    Get full text
    Online Article RSS Article
  5. Should I Replan? Learning to Spot the Right Time in Robust MAPF Execution

    Published in ArXiv cs.MA Recent Papers (2026)
    Get full text
    Online Article RSS Article
  6. A Survey of Multi-Agent Deep Reinforcement Learning with Graph Neural Network-Based Communication

    Published in ArXiv cs.MA Recent Papers (2026)
    Get full text
    Online Article RSS Article
  7. Where Did It Go Wrong? Capability-Oriented Failure Attribution for Vision-and-Language Navigation Agents

    Published in ArXiv cs.MA Recent Papers (2026)
    Get full text
    Online Article RSS Article
  8. Non-negative Rational Semantic Numeration Systems

    Published in ArXiv cs.LO Recent Papers (2026)
    Get full text
    Online Article RSS Article
  9. An Adaptive Parameter-free and Projection-free Restarting Level Set Method for Constrained Convex Optimization Under the Error Bound Condition

    Get full text
    Online Article RSS Article
  10. Splitting Argumentation Frameworks with Collective Attacks and Supports

    Published in ArXiv cs.LO Recent Papers (2026)
    Get full text
    Online Article RSS Article
  11. Towards Neuro-symbolic Causal Rule Synthesis, Verification, and Evaluation Grounded in Legal and Safety Principles

    Published in ArXiv cs.LO Recent Papers (2026)
    Get full text
    Online Article RSS Article
  12. On Higher-Order Probabilistic Verification via the Weighted Relational Model of Linear Logic

    Published in ArXiv cs.LO Recent Papers (2026)
    Get full text
    Online Article RSS Article
  13. Attractor FCM

    Published in ArXiv cs.LO Recent Papers (2026)
    Get full text
    Online Article RSS Article
  14. Computing Witnesses Using the SCAN Algorithm

    Published in ArXiv cs.LO Recent Papers (2026)
    Get full text
    Online Article RSS Article
  15. A Logic of Inability

    Published in ArXiv cs.LO Recent Papers (2026)
    Get full text
    Online Article RSS Article
  16. Order-invariant cluster first-order logic on graph classes of bounded degree

    Published in ArXiv cs.LO Recent Papers (2026)
    Get full text
    Online Article RSS Article
  17. BAss: Symbolic Reasoning in Abstract Dialectical Frameworks

    Published in ArXiv cs.LO Recent Papers (2026)
    Get full text
    Online Article RSS Article
  18. A Diagrammatic Axiomatisation of Behavioural Distance of Nondeterministic Processes

    Published in ArXiv cs.LO Recent Papers (2026)
    Get full text
    Online Article RSS Article
  19. Full Definability in a Profunctorial Model

    Published in ArXiv cs.LO Recent Papers (2026)
    Get full text
    Online Article RSS Article
  20. Operator Learning for Hyperbolic PDEs

    Get full text
    Online Article RSS Article