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

Get full text

Trajectory Supervision for Continual Tool-Use Learning in LLMs

Get full text

CodeClinic: Evaluating Automation of Coding Skills for Clinical Reasoning Agents

Get full text

SmartEval: A Benchmark for Evaluating LLM-Generated Smart Contracts from Natural Language Specifications

Get full text

Emergent Communication for Co-constructed Emotion Between Embodied Agents via Collective Predictive Coding

Get full text

Empowering VLMs for Few-Shot Multimodal Time Series Classification via Tailored Agentic Reasoning

Get full text

PECMAN: Perception-enabled Collaborative Multi-Agent Navigation in Unknown Environments

Get full text

A Cross-Layered Multi-Drone Coordination for Medical Supply Delivery during Disaster Response Management

Get full text

Shields to Guarantee Probabilistic Safety in MDPs

Get full text

Constant time testability of first-order logic with modulo counting on finitary graphs

Get full text

Preservation Theorems in Semiring Semantics

Get full text

A Novel Sampling Design That Considers Local Soil Heterogeneity in Both Geographical and Feature Spaces for Mapping Multiple Soil Properties at the Farm Level

Get full text

On the Verification Problem of Remote Direct Memory Access programs (Extended Version with Appendix)

Get full text

Correct-by-Construction G-Code Generation: A Neuro-Symbolic Approach via Separation Logic

Get full text

Coherency through formalisations of Structured Natural Language, A case study on FRETish

Get full text

Separation Logic for Verifying Physical Collisions of CNC Programs

Get full text

The Polynomial Counting Capabilities of Message Passing Neural Networks

Get full text

A Deductive Refinement Calculus for Differential-Algebraic Programs

Get full text

Just Previsions

Get full text

Formal Verification of Imperative First-Class Functions in Move

Get full text