Type-Checked Compliance: Deterministic Guardrails for Agentic Financial Systems Using Lean 4 Theorem Proving Paper • 2604.01483 • Published 9 days ago • 4
LongTail Driving Scenarios with Reasoning Traces: The KITScenes LongTail Dataset Paper • 2603.23607 • Published 17 days ago • 18
CARLA-Air: Fly Drones Inside a CARLA World -- A Unified Infrastructure for Air-Ground Embodied Intelligence Paper • 2603.28032 • Published 11 days ago • 339