Search Results

Refine Results
  1. Embodied Multi-Agent Coordination by Aligning World Models Through Dialogue

    Published in ArXiv cs.MA Recent Papers (2026)
    Get full text
    Online Article RSS Article
  2. Computational expressivity of (circular) proofs with fixed points

    Get full text
    Online Article RSS Article
  3. SHM-Agents: A Generalist-Specialist Integrated Agent System for Structural Health Monitoring

    Published in ArXiv cs.MA Recent Papers (2026)
    Get full text
    Online Article RSS Article
  4. ChipMATE: Multi-Agent Training via Reinforcement Learning for Enhanced RTL Generation

    Published in ArXiv cs.MA Recent Papers (2026)
    Get full text
    Online Article RSS Article
  5. Mechanism Plausibility in Generative Agent-Based Modeling

    Published in ArXiv cs.MA Recent Papers (2026)
    Get full text
    Online Article RSS Article
  6. Time and Supply Fairness in Electricity Distribution using $k$-times bin packing

    Published in ArXiv cs.MA Recent Papers (2026)
    Get full text
    Online Article RSS Article
  7. Synthesizing the Expert: A Validated Multimodal Dataset for Trustworthy AI-Assisted Swimming Coaching

    Published in ArXiv cs.MA Recent Papers (2026)
    Get full text
    Online Article RSS Article
  8. BEHAVE: A Hybrid AI Framework for Real-Time Modeling of Collective Human Dynamics

    Published in ArXiv cs.MA Recent Papers (2026)
    Get full text
    Online Article RSS Article
  9. CHAL: Council of Hierarchical Agentic Language

    Published in ArXiv cs.MA Recent Papers (2026)
    Get full text
    Online Article RSS Article
  10. Macro-Action Based Multi-Agent Instruction Following through Value Cancellation

    Published in ArXiv cs.MA Recent Papers (2026)
    Get full text
    Online Article RSS Article
  11. Quantitative Linear Logic for Neuro-Symbolic Learning and Verification

    Published in ArXiv cs.LO Recent Papers (2026)
    Get full text
    Online Article RSS Article
  12. (How) Do Large Language Models Understand High-Level Message Sequence Charts?

    Published in ArXiv cs.LO Recent Papers (2026)
    Get full text
    Online Article RSS Article
  13. Interpretation of Inaccessible Sets in Martin-Löf Type Theory with One Mahlo Universe

    Get full text
    Online Article RSS Article
  14. First Steps Towards Probabilistic Iris: Harmonizing Independence, Conditioning, and Dynamic Heap Allocation

    Published in ArXiv cs.LO Recent Papers (2026)
    Get full text
    Online Article RSS Article
  15. Multi-Property Temporal Logic Monitoring

    Published in ArXiv cs.LO Recent Papers (2026)
    Get full text
    Online Article RSS Article
  16. Subsumption in $mathcal{FL}_{bot mathit{reg}}$ with TBoxes Is in ExpTime

    Published in ArXiv cs.LO Recent Papers (2026)
    Get full text
    Online Article RSS Article
  17. Monads and Distributive Laws in Substructural Contexts (Extended Version)

    Published in ArXiv cs.LO Recent Papers (2026)
    Get full text
    Online Article RSS Article
  18. Verifying Exact Samplers for Continuous Distributions with a Discrete Program Logic

    Published in ArXiv cs.LO Recent Papers (2026)
    Get full text
    Online Article RSS Article
  19. A Horn extension of DL-Lite with NL data complexity

    Published in ArXiv cs.LO Recent Papers (2026)
    Get full text
    Online Article RSS Article
  20. Quantitative Linear Logic

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