Search Results - "ArXiv cs.IT Recent Papers"

Search alternatives:

Refine Results
  1. 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
  2. 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
  3. 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
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. 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
  19. 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
  20. Normalizing Trajectory Models

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