SMARtCARE: Privacy-Preserving Agentic AI Systems for Bounded-Autonomy Clinical Decision SupportResearchSep 29, 2026
Verification of PETSc with CIVL using LLM-generated ACSL contracts and deterministic driver generationResearchSep 29, 2026
DriveHierarchy: A Benchmark for Diagnosing VLM Driving Capabilities from Open-Loop Understanding to Closed-Loop ExecutionResearchSep 29, 2026
FIDAL: Diversity-Aware Federated Active Learning Under Real-World Distribution ShiftsResearchSep 29, 2026
Language-Augmented Video Action Anticipation: Design Fundamentals, Benchmarks, and Open ChallengesResearchSep 29, 2026