Search Results - arxiv cs.it recent paper

Refine Results
  1. Switchcraft: AI Model Router for Agentic Tool Calling

    Published in ArXiv cs.MA Recent Papers (2026)
    Subjects: “…ArXiv cs.MA Recent Papers…”
    Get full text
    Online Article RSS Article
  2. ARMOR: An Agentic Framework for Reaction Feasibility Prediction via Adaptive Utility-aware Multi-tool Reasoning

    Published in ArXiv cs.MA Recent Papers (2026)
    Subjects: “…ArXiv cs.MA Recent Papers…”
    Get full text
    Online Article RSS Article
  3. Decentralized Diffusion Policy Learning for Enhanced Exploration in Cooperative Multi-agent Reinforcement Learning

    Published in ArXiv cs.MA Recent Papers (2026)
    Subjects: “…ArXiv cs.MA Recent Papers…”
    Get full text
    Online Article RSS Article
  4. Social Theory Should Be a Structural Prior for Agentic AI: A Formal Framework for Multi-Agent Social Systems

    Published in ArXiv cs.MA Recent Papers (2026)
    Subjects: “…ArXiv cs.MA Recent Papers…”
    Get full text
    Online Article RSS Article
  5. Learning Material-Aware Hamiltonian Risk Fields for Safe Navigation

    Published in ArXiv cs.MA Recent Papers (2026)
    Subjects: “…ArXiv cs.MA Recent Papers…”
    Get full text
    Online Article RSS Article
  6. The Cost of Consensus: Malignant Epistemic Herding and Adaptive Gating in Distributed Multi-Agent Search

    Published in ArXiv cs.MA Recent Papers (2026)
    Subjects: “…ArXiv cs.MA Recent Papers…”
    Get full text
    Online Article RSS Article
  7. Multi-Objective Constraint Inference using Inverse reinforcement learning

    Published in ArXiv cs.MA Recent Papers (2026)
    Subjects: “…ArXiv cs.MA Recent Papers…”
    Get full text
    Online Article RSS Article
  8. Bridging the Last Mile of Circuit Design: PostEDA-Bench, a Hierarchical Benchmark for PPA Convergence and DRC Fixing

    Published in ArXiv cs.MA Recent Papers (2026)
    Subjects: “…ArXiv cs.MA Recent Papers…”
    Get full text
    Online Article RSS Article
  9. MAGIQ: A Post-Quantum Multi-Agentic AI Governance System with Provable Security

    Published in ArXiv cs.MA Recent Papers (2026)
    Subjects: “…ArXiv cs.MA Recent Papers…”
    Get full text
    Online Article RSS Article
  10. Generalising Travel Time Prediction To Varying Route Choices In Urban Networks

    Published in ArXiv cs.MA Recent Papers (2026)
    Subjects: “…ArXiv cs.MA Recent Papers…”
    Get full text
    Online Article RSS Article
  11. Beyond the Black Box: Interpretability of Agentic AI Tool Use

    Published in ArXiv cs.MA Recent Papers (2026)
    Subjects: “…ArXiv cs.MA Recent Papers…”
    Get full text
    Online Article RSS Article
  12. Conformal Agent Error Attribution

    Published in ArXiv cs.MA Recent Papers (2026)
    Subjects: “…ArXiv cs.MA Recent Papers…”
    Get full text
    Online Article RSS Article
  13. A Fibrational Perspective on Differential Linear Logic

    Published in ArXiv cs.LO Recent Papers (2026)
    Subjects: “…ArXiv cs.LO Recent Papers…”
    Get full text
    Online Article RSS Article
  14. Cross-Attention and Encoder-Decoder Transformers: A Logical Characterization

    Published in ArXiv cs.LO Recent Papers (2026)
    Subjects: “…ArXiv cs.LO Recent Papers…”
    Get full text
    Online Article RSS Article
  15. Inference of Qualitative Models from Steady-State Data via Weighted MaxSMT

    Published in ArXiv cs.LO Recent Papers (2026)
    Subjects: “…ArXiv cs.LO Recent Papers…”
    Get full text
    Online Article RSS Article
  16. Finitary Truly Concurrent Bisimulations

    Published in ArXiv cs.LO Recent Papers (2026)
    Subjects: “…ArXiv cs.LO Recent Papers…”
    Get full text
    Online Article RSS Article
  17. Evidence-Tracked Tape Semantics for Probabilistic Computation

    Published in ArXiv cs.LO Recent Papers (2026)
    Subjects: “…ArXiv cs.LO Recent Papers…”
    Get full text
    Online Article RSS Article
  18. MathlibPR: Pull Request Merge-Readiness Benchmark for Formal Mathematical Libraries

    Published in ArXiv cs.LO Recent Papers (2026)
    Subjects: “…ArXiv cs.LO Recent Papers…”
    Get full text
    Online Article RSS Article
  19. Computing Short SAT Implicants via Ising/QUBO Encodings

    Published in ArXiv cs.LO Recent Papers (2026)
    Subjects: “…ArXiv cs.LO Recent Papers…”
    Get full text
    Online Article RSS Article
  20. A New Interaction Concept for Interactive and Autoactive Program Verification

    Published in ArXiv cs.LO Recent Papers (2026)
    Subjects: “…ArXiv cs.LO Recent Papers…”
    Get full text
    Online Article RSS Article