WildDet3D: Scaling Promptable 3D Detection in the Wild Paper • 2604.08626 • Published 6 days ago • 222
Type-Checked Compliance: Deterministic Guardrails for Agentic Financial Systems Using Lean 4 Theorem Proving Paper • 2604.01483 • Published 14 days ago • 7
LongTail Driving Scenarios with Reasoning Traces: The KITScenes LongTail Dataset Paper • 2603.23607 • Published 21 days ago • 18
CARLA-Air: Fly Drones Inside a CARLA World -- A Unified Infrastructure for Air-Ground Embodied Intelligence Paper • 2603.28032 • Published 15 days ago • 339