Search Results

Refine Results
  1. IVEX-WA and IVEX-MetaStack Ensemble Models: A Transfer Learning Approach for Still-Image Human Action Recognition With XAI Visualization

    Published in IEEE Access (2025)
    Get full text
    Online Article RSS Article
  2. Trajectory Supervision for Continual Tool-Use Learning in LLMs

    Published in ArXiv cs.MA Recent Papers (2026)
    Get full text
    Online Article RSS Article
  3. CodeClinic: Evaluating Automation of Coding Skills for Clinical Reasoning Agents

    Published in ArXiv cs.MA Recent Papers (2026)
    Get full text
    Online Article RSS Article
  4. SmartEval: A Benchmark for Evaluating LLM-Generated Smart Contracts from Natural Language Specifications

    Published in ArXiv cs.MA Recent Papers (2026)
    Get full text
    Online Article RSS Article
  5. Emergent Communication for Co-constructed Emotion Between Embodied Agents via Collective Predictive Coding

    Published in ArXiv cs.MA Recent Papers (2026)
    Get full text
    Online Article RSS Article
  6. Empowering VLMs for Few-Shot Multimodal Time Series Classification via Tailored Agentic Reasoning

    Published in ArXiv cs.MA Recent Papers (2026)
    Get full text
    Online Article RSS Article
  7. PECMAN: Perception-enabled Collaborative Multi-Agent Navigation in Unknown Environments

    Published in ArXiv cs.MA Recent Papers (2026)
    Get full text
    Online Article RSS Article
  8. A Cross-Layered Multi-Drone Coordination for Medical Supply Delivery during Disaster Response Management

    Published in ArXiv cs.MA Recent Papers (2026)
    Get full text
    Online Article RSS Article
  9. Shields to Guarantee Probabilistic Safety in MDPs

    Published in ArXiv cs.LO Recent Papers (2026)
    Get full text
    Online Article RSS Article
  10. Constant time testability of first-order logic with modulo counting on finitary graphs

    Published in ArXiv cs.LO Recent Papers (2026)
    Get full text
    Online Article RSS Article
  11. Preservation Theorems in Semiring Semantics

    Published in ArXiv cs.LO Recent Papers (2026)
    Get full text
    Online Article RSS Article
  12. A Novel Sampling Design That Considers Local Soil Heterogeneity in Both Geographical and Feature Spaces for Mapping Multiple Soil Properties at the Farm Level

    Published in IEEE Access (2025)
    Get full text
    Online Article RSS Article
  13. On the Verification Problem of Remote Direct Memory Access programs (Extended Version with Appendix)

    Published in ArXiv cs.LO Recent Papers (2026)
    Get full text
    Online Article RSS Article
  14. Correct-by-Construction G-Code Generation: A Neuro-Symbolic Approach via Separation Logic

    Published in ArXiv cs.LO Recent Papers (2026)
    Get full text
    Online Article RSS Article
  15. Coherency through formalisations of Structured Natural Language, A case study on FRETish

    Published in ArXiv cs.LO Recent Papers (2026)
    Get full text
    Online Article RSS Article
  16. Separation Logic for Verifying Physical Collisions of CNC Programs

    Published in ArXiv cs.LO Recent Papers (2026)
    Get full text
    Online Article RSS Article
  17. The Polynomial Counting Capabilities of Message Passing Neural Networks

    Published in ArXiv cs.LO Recent Papers (2026)
    Get full text
    Online Article RSS Article
  18. A Deductive Refinement Calculus for Differential-Algebraic Programs

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

    Published in ArXiv cs.LO Recent Papers (2026)
    Get full text
    Online Article RSS Article
  20. Formal Verification of Imperative First-Class Functions in Move

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